Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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?
Do you mean on the nlab or in latex in general?
I think this is the best solution we found.
1 to 4 of 4