I'd like every derivation in my document to meet these two requirements:
- The distance between two consecutive inference lines should always be the same (the red arrows in the figure should have equal length).
- The thesis symbol should be vertically centered with respect to the superior and inferior inference lines (the blue lines in the figure should have equal length).
MWE:
\documentclass{article}
\usepackage{amsmath}
\usepackage{tikz}
\usepackage{bussproofs}
\usepackage{bussproofs-extra}
\begin{document}
\begin{center}
\AxiomC{}
\UnaryInfC{$B \vdash B$}
\UnaryInfC{$\vdash A,B$}
\UnaryInfC{$\neg A \vdash B$}
\AxiomC{}
\RightLabel{$\pi_0$}
\DeduceC{$B \vdash \lVert A\rVert$}
\RightLabel{\scriptsize$(\mathit{cut})$}
\BinaryInfC{$\neg A \vdash \lVert A\rVert$}
\DisplayProof
\end{center}
\end{document}