Template:Mathematical Proof/symbol