Минимальная высота узла по умолчанию в 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}