☰

总线证明中的多行推理/规则/公理

tag-icon • tag-icon line-breaking theorems
总线证明中的多行推理/规则/公理

我有一个需要在 LaTeX 中设置的证明，为此我使用了该bussproofs包。但是我的证明中有大量自由文本，这使得证明过于宽泛。有没有办法使用多行推理？\\和\newline似乎都不起作用。

梅威瑟：

\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}

非常广泛的规则

注意：我没有使用任何math环境，因此使用align或gather不合适。

答案1

我使用了 中的几个命令stackengine。您应该阅读软件包文档，以了解哪个命令最适合您的情况。

\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}

在此处输入图片描述

如果在回应评论时，您只是想要格式化的文本，那么只需使用\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}

相关内容