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

추론선 주위에 공간을 더 추가한 다음 소수에 대해 높이가 0인 상자를 만드는 것이 더 좋다고 생각합니다. 이렇게 하면 를 사용하는 버전보다 더 보기 좋은 디스플레이가 생성됩니다 \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}