configuração padrão de altura de nó mínimo do bussproof

Question

Percebi que a altura do nó do bussproof depende da altura da fórmula no nó.

por exemplo, nós como "p", "q" e "r" têm altura menor que "l", "b" e "d" porque as fórmulas anteriores têm comprimento vertical menor.

Quero corrigir as alturas mínimas dos nós conforme esperado, usando as funções de configuração de opções do bussproof.

por exemplo, nos casos de p, q, r, eles devem ter preenchimento superior para que sua linha horizontal superior (expressando julgamento) seja alinhada da mesma forma que as outras derivações, de modo que a profundidade semelhante das derivações esteja alinhada horizontalmente na mesma linha em uma página.

é claro, posso adicionar alguma string invisível em todos os nós para que eles tenham a mesma altura mínima, mas acho que não é a solução correta.

\[
\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

Acho que é melhor adicionar mais espaço ao redor da linha de inferência e então criar uma caixa de altura zero para o primo. Isso produz uma exibição mais bonita do que a sua versão usando \phantom. A propósito, quando você for solicitado a fornecer um documento de amostra, ele deverá ser um documento compilável completo como este:

\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}