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 |