leon_89″ post=95917allora scrivendo questo codice
`\ensuremath{\frac{P \textbf{sat} S(\textit{tr})} {a \ensuremath{\rightarrow} P \textbf{sat} (\textit{tr} = \ensuremath{\langle}\ensuremath{\rangle} \lor (\textit{tr} = \ensuremath{\langle}a\ensuremath{\rangle} \ensuremath{\frown} \textit{tr'} \ensuremath{\land} S(\textit{tr'})))}}
`
il risultato ottenuto è:
[attachment=1076]guit2.PNG[/attachment]
più che altro vorrei sapere se c’è un altro modo di inserire la linea orizzontale oltre che con \fract. mi sono letto come guida l’arte di scrivere con latex e non ho trovato risposta. 🙁
Non hai inviato un esempio minimo compilabile. Ma a parte questo la presenza massiccia di \ensuremath mi fa sospettare.
Io sono ancor meno matematico di Claudio ma senza dubbio la formula che hai scritto tu è inutilmente complicata.
In attesa di capire, come ha già detto Claudio, i significati dei simboli che usi, la formula si può semplificare in questo modo.
sat è stato inteso come simbolo di relazione.
`
\documentclass{article}
\usepackage{amsmath}
\begin{document}
Lorem ipsum:
\begin{equation*}
\frac{P \mathrel{sat} S(tr)} {a \rightarrow P \mathrel{sat} (tr = \langle\rangle \lor (tr = \langle a \rangle \frown tr' \land S(tr')))}
\end{equation*}
dolor sit amet
\end{document}`
“tr” è in attesa di ricevere una forma.
Si potrebbe per esempio definire un nuovo operatore
`\DeclareMathOperator{\tr}{tr}`
Se lo vuoi semplicemente in tondo:
`\text{tr}`
Ma tutto dipende dal significato dei segni.
Ciao
Ivan