Common notation:
| `and` | Both statements are true |
| `or` | One or both statements are true |
| `not` | Negation - i.e. `not A` means "not A" |
| `=>` | Implies - i.e. `A => B` means \(A\) implies \(B\) |
| `if` | `A if B` means \(A\) is true if \(B\) is true |
| `<=>` or \(iff\) | If and only if - `A <=> B` means \(A\) is true if \(B\) is true and \(B\) is true if \(A\) is true. |
| `AA` | For all - e.g. `AA x` means "for all x" |
| `EE` | There exists - e.g. `EE x` means "there exists an x" |
| `s.t.` | Such that |