Table of Logic Symbols with Examples
Symbol  |
Symbol Name |
Symbol Meaning |
Example |
|---|---|---|---|
| ∨ | reversed caret | or | x∨ y |
| | | vertical line | or | x | y |
| . | and | and | x . y |
| ^ | caret / circumflex | and | x ^ y |
| & | ampersand | and | x & y |
| + | plus | x + y | |
| x' | single quote | 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 | implies | X⇒Y |
| ⇔ | equivalent | if and only if (iff) | A⇔B |
| ↔ | equivalent | if and only if (iff) | A↔B |
| ∀ | for all | ||
| ∃ | there exists | ||
| ∄ | there does not exists | ||
| ∴ | therefore | ||
| ∵ | because / since |
See Also ►