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