& ampersand and x & y + plus or x + y reversed caret or x y ∨ ∨ | | vertical line or x y x' single not - negation x' x x bar not - negation ¬ ¬ x not not - negation ! exclamation mark not - negation ! x x y ⊕ circled plus / oplus exclusive or - xor ⊕ ~ ~ x tilde negation implies ⇒ ⇔ equivalent if and only if (iff) ↔ equivalent if and only if (iff) for all ∀ there exists ∃ ∄ there does not exists ∴ therefore
& ampersand and x & y + plus or x + y ∨ reversed caret or x ∨ y | vertical line or x | y x' single not - negation x' x bar not - negation x ¬ not not - negation ¬ x ! exclamation mark not - negation ! x ⊕ circled plus / oplus exclusive or - xor x ⊕ y ~ tilde negation ~ x ⇒ implies ⇔ equivalent if and only if (iff) ↔ equivalent if and only if (iff) ∀ for all ∃ there exists ∄ there does not exists ∴ therefore
basic_math_symbols.docx