[Tex/LaTex] How to align a prooftree left

bussproofshorizontal alignment

How to align a bussproofs prooftree left?

\documentclass{article}
\usepackage{bussproofs}
\begin{document}    
\begin{prooftree}
    \LeftLabel{(Proof)}
    \AxiomC{A}
    \AxiomC{B}
    \BinaryInfC{C}
\end{prooftree}
\end{document}

I tried putting it in an array and a table but the compilation did not run through

Best Answer

Is it mandatory for you to use the prooftreeenvironment? In addition to that environment, the bussproofspackage also offers to have “in-line” proofs. To quote from the manual (p.3):

The \DisplayProof command allows you to put proofs anywhere normal text might appear; for example, in a paragraph, in a table, in a tabbing environment, etc.

Hence, omitting the rooftree wrapper and use \DisplayProof at the end of the proof let you put the proof anywhere. Per default, this should then amount to being left-aligned.

\documentclass{article}
\usepackage{bussproofs}
\begin{document}    
    \LeftLabel{(Proof)}
    \AxiomC{A}
    \AxiomC{B}
    \BinaryInfC{C}
    \DisplayProof
\end{document}

Using the \EnableBpAbbreviationscommand, you can also abbreviate the \DisplayProof(and many other) commands, so that your proof can be produced by the following code.

\documentclass{article}
\usepackage{bussproofs}
\EnableBpAbbreviations
\begin{document}    
    \LeftLabel{(Proof)}
    \AXC{A}
    \AXC{B}
    \BIC{C}
    \DP
\end{document}
Related Question