Calculations in MathML Proofs in Algebra, Geometry, Logic, and Trigonometry (Safari Webkit 17.1) CONTENTS