# Vertical alignment of proof trees

Is it possible to vertically align two or more proof trees, typeset using bussproofs, so that the bottommost lines of the rules are at the same level? Consider for example the following:

\begin{center}
\AxiomC{$(A_i)^{i \in 1..n}$}
\UnaryInfC{$\vdash A$}
\DisplayProof
\AxiomC{}
\UnaryInfC{$\vdash B$}
\DisplayProof
\end{center}

Maybe the following produces what you are looking for:

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{center}
\bottomAlignProof
\AxiomC{$(A_i)^{i \in 1..n}$}
\UnaryInfC{$\vdash A$}
\DisplayProof
\UnaryInfC{$\vdash B$}
• @ahovgaard: You are right. The above unfortunately only covers this case. If the text under the line has different heights, you could manually adjust the placement of one of the proofs by enclosing it in  \raisebox{-6pt}{<proof>}. However, with this approach you have to manually adjust the distance that is needed to shift this proof to align with the other proof. May 19 '18 at 18:09