Template:Mathematical text/ProofText