使用 proof.sty 在证明下方创建的空间

Question

我正在尝试排版 Gentzen 序贯证明的语义读物，如图所示这里。

我使用 proof.sty 包来生成证明。但是，如果我想在证明周围放置任何类型的括号，则证明树的根将被视为块的中间（我猜是这样），因此括号在根下方的延伸范围与证明在根上方的延伸范围一样远。

梅威瑟：

\documentclass{article}

\usepackage{proof}

\begin{document}

\[
\left\vert
\infer[\backslash_L]{N,N\backslash S\vdash S}{%
N\vdash N & S\vdash S}
\right\vert_{(x,y)}
\]

\end{document}

有什么办法可以解决这个问题吗？我已经写了不少证明，但我不想在其他包中重新编码。

Answer 1

您可以通过多种方式移动基线，最简单的方法可能是使用tabular默认居中的方式：

\documentclass{article}

\usepackage{proof}

\begin{document}

\[
\left\vert
\begin{tabular}{@{}c@{}}\infer[\backslash_L]{N,N\backslash S\vdash S}{%
N\vdash N & S\vdash S}\end{tabular}
\right\vert_{(x,y)}
\]

\end{document}