Allineare testo a frazione (parte inferiore)

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

Propongo un approccio alternativo mantenendo la frazione basato sulla macro [tt]tikzmark[/tt] (non potevo resistere 😀 ).

Il codice:`
\documentclass{article}
\usepackage{amsmath,amssymb}
\usepackage{tikz}

\newcommand{\tikzmark}[1]{\tikz[overlay, remember picture,baseline]\node (#1){};}
\newcommand{\annota}[3][]{\tikz[overlay, remember picture]\node[#1] at (#2){#3};}

\begin{document}
\[\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\tikzmark{posto}}
\]
\annota[red,right]{posto}{gg}
\annota[blue,right,xshift=2cm]{posto}{gg}
\end{document}
` Il comando [tt]\annota[/tt] che propriamente realizza l’annotazione richiede tre argomenti: il primo opzionale serve a personalizzare l’annotazione (si vedano i due esempi), il secondo è il “posto” in cui serve l’annotazione e il terzo è il testo dell’annotazione.

Si compili due volte per ottenere il risultato. Per approfondimenti rimando alla guida tematica Introduzione all’uso della macro tikzmark che si può scaricare dalla Documentazione in alto.

Buon anno 🙂

Ciao
Claudio

Dr Spencer Reid” post=80986grazie per la risposta! esauriente , completa e precisa come al solito!

ulteriore dubbio: dato che non conosco bene il codice che mi hai postato, dovrò impratichirmi ulteriormente, ti chiedo l’ultimo aiuto!
tutto quello che risulta dalla compilazione va a sua volte come parte superiore di un’altra frazione!

come faccio??

Non ho ancora imparato a leggere nel pensiero. Ma di sicuro un ambiente [tt]array[/tt] può essere annidato in un ambiente [tt]array[/tt].

Ciao
Enrico