如何将 prooftree 左对齐？

Question

如何将 bussproofs prooftree 左对齐？

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

我尝试将其放入数组和表中，但编译没有通过

Answer 1

您必须使用该prooftree环境吗？除了该环境之外，该bussproofs软件包还提供“在线”校样。引用手册（第 3 页）：

该\DisplayProof命令允许您将校样放在可能出现普通文本的任何位置；例如，在段落中、在表格中、在制表环境中等等。

因此，省略rooftree包装器并\DisplayProof在证明末尾使用，您可以将证明放在任何地方。默认情况下，这应该相当于左对齐。

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

使用\EnableBpAbbreviations命令，您还可以缩写\DisplayProof（和许多其他）命令，以便您的证明可以通过以下代码生成。

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

Answer 2

环境prooftree使显示居中；使用\DisplayProof。框架只是为了显示位置。

\documentclass{article}
\usepackage{bussproofs}
\usepackage{showframe} % just for the example

\begin{document}

\noindent\mbox{%
  \LeftLabel{(Proof)}
  \AxiomC{A}
  \AxiomC{B}
  \BinaryInfC{C}
  \DisplayProof
}

\end{document}