## 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 |