Busproofs Standardeinstellung für die kleinste Knotenhöhe

Busproofs Standardeinstellung für die kleinste Knotenhöhe

Mir ist aufgefallen, dass die Knotenhöhe von Bussproof von der Höhe der Formel im Knoten abhängt.

Beispielsweise haben Knoten wie „p“, „q“ und „r“ eine geringere Höhe als „l“, „b“ und „d“, da die ersteren Formeln eine kürzere vertikale Länge haben.

Ich möchte die Mindesthöhe der Knoten wie erwartet mithilfe der Optionseinstellungsfunktionen von Busproof festlegen.

Beispielsweise sollten in den Fällen von p, q, r diese eine obere Polsterung haben, sodass ihre obere horizontale Linie (die die Beurteilung ausdrückt) mit den anderen Ableitungen gleich ausgerichtet ist, sodass Ableitungen ähnlicher Tiefe horizontal auf der gleichen Zeile auf einer Seite ausgerichtet sind.

Natürlich kann ich in allen Knoten eine unsichtbare Zeichenfolge hinzufügen, damit sie die gleiche Mindesthöhe haben, aber ich denke, das ist keine saubere Lösung.

von links nach rechts

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

Antwort1

Ich denke, es ist besser, mehr Platz um die Inferenzlinie herum zu lassen und dann eine Box mit Nullhöhe für die Primzahl zu erstellen. Dadurch wird eine schönere Anzeige erzeugt als bei Ihrer Version mit \phantom. Übrigens, wenn Sie aufgefordert werden, ein Beispieldokument bereitzustellen, sollte es ein vollständig kompilierbares Dokument wie dieses sein:

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

Ausgabe des Codes

verwandte Informationen