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}