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?

1 Answer 1

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, 2019 at 22:11
  • @JasonHu Section 2.2 of the manual. :-)
    – egreg
    Mar 3, 2019 at 22:16

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .