1

I am wondering how people manage to arrange their inference rules so that it's not only enjoyable to look at but also very compact. For instance, when I use bussproofs and the following trees:

\begin{prooftree}
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash T <: \top$}
\end{prooftree}

\begin{prooftree}
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash \bot <: T$}
\end{prooftree}

\begin{prooftree}
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash T <: T$}
\end{prooftree}

The current way I do it is by using multicols and manually arrange their alignment. But this is not very satisfactory, and if I change the layout of the article, then I will have to go through all the figures containing inference rules and rearrange them again.

Is there a good way for you to improve the situation?

2

You need not use the prooftree environment:

\documentclass{article}
\usepackage{amsmath}
\usepackage{bussproofs}
\usepackage{lipsum} % for context

\begin{document}

\lipsum*[1][1-5]
\begin{equation*}
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash T <: \top$}
  \DisplayProof
\qquad
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash \bot <: T$}
  \DisplayProof
\qquad
  \AxiomC{}
  \UnaryInfC{$\Gamma \vdash T <: T$}
  \DisplayProof
\end{equation*}
\lipsum[2]

\end{document}

The bussproofs command are flushed when \DisplayProof is found and a box is formed.

enter image description here

2
  • what??? wow, it does seem that I've spent lots of time on unnecessary effort! – Jason Hu Mar 3 '19 at 22:11
  • @JasonHu Section 2.2 of the manual. :-) – egreg Mar 3 '19 at 22:16

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.