Typesetting sequences of math formulas, e.g. type inference rules
