Dr Spencer Reid” post=80984salve a tutti ho il seguetne problema:
data la seguetne formula
`
\begin{align*}
\dfrac
{\langle z:=x, s_0\rangle \rightarrow s_1 \quad \quad \langle x:=y, s_1 \rangle \rightarrow s_2}
{\langle z:= x; x:=y, s_0 \rangle \rightarrow s_2} \quad \quad \quad \quad \quad \quad gg
\end{align*}
`Ho le seguenti domande da porre:
– va bene usare l’ambiente align*?
– (domanda cruciale) dovrei inserire del testo a fianco alla parte bassa della frazione. tale testo non fa parte della frazione. come faccio? se uso \\ mi centra il testo!
Questa non è una frazione, ma una tabella.
`\documentclass{article}
\usepackage{amsmath}
\begin{document}
\[
\begin{array}{@{}cl@{}}
\langle z:=x, s_0\rangle \rightarrow s_1 \quad \quad \langle x:=y, s_1 \rangle \rightarrow s_2\\
\cline{1-1}
\langle z:= x; x:=y, s_0 \rangle \rightarrow s_2 & \qquad gg
\end{array}
\]
\end{document}`
Non usare [tt]align*[/tt] invece di
`\[
…
\]`
o, se preferisci, [tt]equation*[/tt]. Gli ambienti di allineamento vanno usati solo quando c’è effettivamente da allineare qualcosa.
Ciao
Enrico