1

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
  \qquad
  \AxiomC{}
  \UnaryInfC{$\vdash B$}
  \DisplayProof
\end{center}
Improve this question

1 Answer 1

Reset to default
1

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
  \qquad
  \bottomAlignProof
  \AxiomC{}
  \UnaryInfC{$\vdash B$}
  \DisplayProof
\end{center}

\end{document}

enter image description here

Improve this answer
2
  • This almost does the trick, except that it aligns them at the bottom rather than at the line, so if the conclusion in each rule have different heights then it is still not completely aligned.
    – ahovgaard
    May 19, 2018 at 14:02
  • @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.
    – leandriis
    May 19, 2018 at 18:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .