6

I have a proof that I need to set in LaTeX, and to do so I am using the bussproofs package. However my proof has large amounts of free text in it, which makes the proof overly wide. Is there a way to use multi-line inferences? neither \\ nor \newline seem to do the trick.

MWE:

\documentclass{standalone}
\usepackage{bussproofs}
\begin{document}
    \AxiomC{Very long piece of text}
            \AxiomC{Even longer piece of text}
        \LeftLabel{Absurdly long rule name}
        \BinaryInfC{Another piece of excessively wordy text}
    \DisplayProof
\end{document}

A very wide rule

N.B. I am not using any math environments so using align or gather is not appropriate.

7

I used several commands from stackengine. You should read the package docs to see what applies best for your case.

\documentclass{standalone}
\usepackage{bussproofs}
\usepackage{stackengine}
\begin{document}
    \AxiomC{\stackanchor{Very long}{piece of text}}
            \AxiomC{\stackanchor{Even longer}{piece of text}}
        \LeftLabel{\stackanchor{Absurdly long}{rule name}}
        \BinaryInfC{\Shortstack{{Another piece} of excessively {wordy text}}}
    \DisplayProof
\end{document}

enter image description here

If, in response to the comment, you just wanted formatted text, just use \parboxes:

\documentclass{standalone}
\usepackage{bussproofs}
\begin{document}

\AxiomC{\parbox{.7in}{\raggedright Very long piece of text}}
\AxiomC{\parbox{.7in}{\raggedright Even longer piece of text}}
\LeftLabel{\parbox{.7in}{\raggedright Absurdly long rule name}}
\BinaryInfC{\parbox{.7in}{\raggedright Another piece of excessively wordy text}}
    \DisplayProof

\end{document}
| improve this answer | |
  • Is there an environment that will cause the text to reflow naturally? Like I give a width and it reflows at some point less than that? – jhoyla Jul 24 '13 at 15:05
  • Just an FYI, the \parbox solution breaks if you have non-breaking equations, the proof line doesn't extend and the axiom intrudes on other axioms. The stackengine solution works perfectly. – jhoyla Jul 25 '13 at 10:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.