Proof Symbols Used in Math