[TYPES] Summary of tricks for setting figures of rules in LaTeX

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Thanks to the many who replied to my questions about setting
figures full of typing rules.  Your suggestions were as follows:

  * \fbox left justified on a line by itself just before \mathpar
    (possibly with {} \and ... to make room)

    Example detail:

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

  * \fbox on its own line in {mathpar} and thus centered

  * \fbox in mathpar with very ugly hack to force left or right alignment

  * \fbox in mathpar with nice hack to force left alignment:

       \fbox{$e \cbvstep e'$}\hfill\\

  * Check out back end of `ottalt` package (used with Ott) or ottlayout.sty



Thanks again!


Norman