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. 🙁
Se LaTeX davvero costringesse a scrivere centinaia di [tt]\ensuremath[/tt] nessuno lo userebbe.
Usa una tabella in modo matematico; per evitare lungaggini, definisciti comandi per costruzioni di uso frequente:
`
\documentclass[a4paper]{article}
\usepackage{amsmath,booktabs}
\newcommand{\sat}{\mathrel{\mathbf{sat}}}
\newcommand{\tie}{\mathbin{^{\frown}}}
\begin{document}
\[
\begin{array}{l}
P \sat S(\mathit{tr}) \\
\midrule
a \rightarrow P \sat (\mathit{tr} = \langle\rangle \lor (\mathit{tr} = \langle a\rangle
\tie \mathit{tr}' \land S(\mathit{tr}')))
\end{array}
\]
\end{document}
`
[attachment=1078]sat.jpg[/attachment]
Ciao
Enrico