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. 🙁
L’uso di tutti quei \ensuremath mi insospettisce. Cerchiamo innanzitutto di semplificare le cose. Se vuoi creare una formula fuori corpo ci sono diverse soluzioni. Una è questa:
`
\[
\frac{P \mathrel{sat} S(tr)}{a \rightarrow P \mathrel{sat} (tr= \langle\rangle \lor (tr = \langle a\rangle\frown tr' \land S(tr')))}
\]
`
Con questo codice ottieni qualcosa di molto simile all’immagine che hai postato. Per aver sat in grassetto basta racchiuderlo in \mathbf.
Naturalmente questa non è una soluzione universale. Se per esempio usi spesso sat è meglio definirlo una volta per tutte. Ma come definirlo dipende dal significato che gli vuoi attribuire. Nell’esempio ho inteso sat come una relazione (soddisfacibilità?)
Ciao
Ivan