I think this is the best solution we found.
]]>Do you mean on the nlab or in latex in general?
]]>What is the best way to typeset multiple derivation rules? The Pi rules from the initiality project use \begin{gathered}
and it looks pretty good. Anyone have a better idea?