Inserire testo sulla stessa linea della formula

Ecco il mio problema:
Ho una formula fuori corpo con la numerazione allineata a destra. Ho bisogno di inserire del breve testo allineato a sinistra alla stessa altezza della numerazione. Come faccio?

Mi sembra una richiesta strana… dovresti provare con minipage.

Ecco il mio problema:
Ho una formula fuori corpo con la numerazione allineata a destra. Ho bisogno di inserire del breve testo allineato a sinistra alla stessa altezza della numerazione. Come faccio?

Forse è meglio se spieghi che cosa vorresti fare.

Ciao
Enrico

Quello che devo fare è scrivere una dimostrazione formale all’interno della logica proposizionale usando il calcolo alla Hilbert.
Il risultato grafico che cerco è quello riportato nell’immagine (che ho fatto con photoshop), vorrei avere lo stesso risultato utilizzando latex.

Non allineerei le etichette al margine sinistro, visto che in realtà fanno parte della formula:
`\begin{align}
&\text{Assioma 1}&& A\to(A\to A)\label{row1}\\
&\text{Assioma 2}&& (A\to(A\to A))\to(A\to A)\label{row2}\\
&\text{MP, \eqref{row1}, \eqref{row2}}&& A \to A
\end{align}`
Se vuoi controllare meglio lo spazio fra le due colonne, puoi usare l’ambiente alignat: \begin{alignat}{2} e mettere la spaziatura richiesta alla fine della cella più lunga (o, se non vuoi starci a pensare, alla fine di ogni cella della prima colonna), in questo caso
`&\text{MP, \eqref{row1}, \eqref{row2}}\qquad&& A \to A`
Di solito, però, le giustificazioni in una deduzione si scrivono a destra della formula.

Consulta anche la documentazione di mathtools che potrebbe avere qualcosa che fa al caso tuo.

Ciao
Enrico

il tuo consiglio mi sembra ottimo, e anche graficamente ha una buona resa. Mi si presenta però un altro problema: siccome la dimostrazione che devo scrivere è piuttosto lunga, latex tenta di farmela entrare tutta nella stessa pagina, ma così mi rimane un buco bianco nella pagina precedente! Come faccio a fargli ignorare questo fatto e fargli spezzare la dimostrazione in modo naturale su due pagine?

Cerca allowdisplaybreaks nel forum

Ciao
Enrico