[TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules

William J. Bowman wjb at williamjbowman.com
Thu Nov 28 13:27:25 EST 2019


On Thu, Nov 28, 2019 at 02:14:41PM +0100, Filip Sieczkowski wrote:
> \begin{flushleft}
> \fbox{$
>   \begin{aligned}
>   &\judgmentForm1\\
>   &\judgmentForm2 %etc.
>   \end{aligned}$}
> \end{flushleft}
> \begin{mathpar}
> %rules go here
> \end{mathpar}
I use this approach (wrapped in a \newcommand for convenience):

\newcommand{\judgshape}[2][]{\begin{flushleft}\fbox{\(#2\)~#1}\end{flushleft}}
...
\judgshap[(where \(A\) is well formed)]{\Gamma \vdash e : A}
\begin{mathpar}
...
\end{mathpar}

It works reliably across every format I've submitted with.

--
William J. Bowman


More information about the Types-list mailing list