Typesetting Calculus