26 Agosto 2014 alle 13:53
#96235
::
allora 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. 🙁