![bussproof 默认的最小节点高度设置](https://linux22.com/image/462203/bussproof%20%E9%BB%98%E8%AE%A4%E7%9A%84%E6%9C%80%E5%B0%8F%E8%8A%82%E7%82%B9%E9%AB%98%E5%BA%A6%E8%AE%BE%E7%BD%AE.png)
我注意到 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
\]
答案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}