Re: [TYPES] seeking stupid LaTeX tricks for laying out sets of typing rules
"William J. Bowman" <wjb-r2/fXjr+/[email protected]>
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
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