Logic symbols
| Symbol | Symbol Name | Meaning/Definition | Example |
|---|---|---|---|
| \( \cdot \) | and | and | \( x \cdot y \) |
| \( ^\wedge \) | caret / circumflex | and | \( x^\wedge y \) |
| \( \& \) | ampersand | and | \( x \& y \) |
| \( + \) | plus | or | \( x + y \) |
| \( \vee \) | reversed caret | or | \( x ∨ y \) |
| \( | \) | vertical line | or | \( x | y \) |
| \( x' \) | single quote | not - negation | \( x' \) |
| \( \bar x \) | bar | not - negation | \( \bar x \) |
| \( ¬ \) | not | not - negation | \( ¬ x \) |
| \( ! \) | exclamation mark | not - negation | \( ! x \) |
| \( \oplus \) | circled plus / oplus | exclusive or - xor | \( x \oplus y \) |
| \( \sim \) | tilde | negation | \( \sim x \) |
| \( ⇒ \) | implies | \( \) | |
| \( ⇔ \) | equivalent | if and only if (iff) | \( \) |
| \( ↔ \) | equivalent | if and only if (iff) | \( \) |
| \(∀ \) | for all | \( \) | |
| \( ∃ \) | there exists | \( \) | |
| \( \nexists \) | there does not exists | \( \) | |
| \( ∴ \) | therefore | \( \) | |
| \( ∵ \) | because / since | \( \) |
