bussproof 默认的最小节点高度设置

Question

我注意到 bussproof 的节点高度取决于节点中公式的高度。

例如，“p”、“q”和“r”等节点的高度比“l”、“b”和“d”短，因为前者的公式具有较短的垂直长度。

我想使用 bussproof 的选项设置功能按照我的预期修复节点的最小高度。

例如，在 p、q、r 的情况下，它们应该具有上填充，以便它们的上水平线（表达判断）与其他派生词对齐，以便派生词的相似深度在页面中的同一行上水平对齐。

当然，我可以在所有节点中添加一些不可见的字符串，以便设置它们具有相同的最小高度，但我认为这不是整洁的解决方案。

\[
\AxiomC{D}
\UnaryInfC{$p$}
\AxiomC{D}
\UnaryInfC{$p'$}
\BinaryInfC{$\phi$}
\DisplayProof
\quad\implies\quad
\AxiomC{D}
\UnaryInfC{$p\phantom{'}$}
\AxiomC{D}
\UnaryInfC{$p'$}
\BinaryInfC{$\phi$}
\DisplayProof
\]

Answer 1

我认为最好在推理线周围添加更多空间，然后为素数创建一个零高度框。这会产生比使用 ​​的版本更美观的显示\phantom。顺便说一句，当您被要求提供示例文档时，它应该是完整的可编译文档，如下所示：

\documentclass{article}
\usepackage{bussproofs}
\usepackage{amsmath}
\renewcommand\extraVskip{5pt}
\newcommand*\Prime{\smash{'}}
\begin{document}
\[
\AxiomC{D}
\UnaryInfC{$p$}
\AxiomC{D}
\UnaryInfC{$p\Prime$}
\BinaryInfC{$\phi$}
\DisplayProof
%
\renewcommand\extraVskip{2pt} % back to default value 
\quad\implies\quad
\AxiomC{D}
\UnaryInfC{$p\phantom{'}$}
\AxiomC{D}
\UnaryInfC{$p'$}
\BinaryInfC{$\phi$}
\DisplayProof
\]
\end{document}