Tag Info

New answers tagged


You can use \insertBetweenHyps to insert negative space between the hypotheses for that particular inference. For example: \documentclass{article} \usepackage{bussproofs} \newcommand{\AxiomCm}[1]{\AxiomC{$#1$}} \newcommand{\BinaryInfCm}[1]{\BinaryInfC{$#1$}} \newcommand{\UnaryInfCm}[1]{\UnaryInfC{$#1$}} \begin{document} \begin{prooftree} \AxiomCm{ ...


Those bars look like relation symbols, so \mid should be the choice. However, defining an own command for it can surely be considered best practice: you can easily change the appearance of the symbol by just changing its definition. Here's an example, where the \renewcommand serves for the purpose of showing how you can modify the symbol without changing ...

Top 50 recent answers are included