Configuración predeterminada de altura mínima de nodo de bussproof

Question

Noté que la altura del nodo de bussproof depende de la altura de la fórmula en el nodo.

por ejemplo, nodos como "p", "q" y "r" tienen una altura más corta que "l", "b" y "d" porque las fórmulas anteriores tienen una longitud vertical más corta.

Quiero arreglar las alturas mínimas de los nodos como esperaba usando las funciones de configuración de opciones de bussproof.

por ejemplo, en los casos de p, q, r, esos deben tener un relleno superior para que su línea horizontal superior (que expresa el juicio) esté alineada de la misma manera que las otras derivaciones, de modo que una profundidad similar de las derivaciones esté alineada horizontalmente en la misma línea en una página.

Por supuesto, puedo agregar una cadena invisible en todos los nodos para que tengan la misma altura mínima, pero creo que no es la solución ordenada.

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

Creo que es mejor agregar más espacio alrededor de la línea de inferencia y luego crear un cuadro de altura cero para el número primo. Esto produce una visualización más agradable que la versión que usa \phantom. Por cierto, cuando se le pide que proporcione un documento de muestra, debe ser uno completo y compilable 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}