| description | command | output |
|---|---|---|
| not | \sim |
\(\sim\) |
| and | \land |
\(\land\) |
| or | \lor |
\(\lor\) |
| if…then | \to |
\(\to\) |
| if and only if | \leftrightarrow |
\(\leftrightarrow\) |
| logical equivalence | \equiv |
\(\equiv\) |
| therefore | \therefore |
\(\therefore\) |
| there exists | \exists |
\(\exists\) |
| for all | \forall |
\(\forall\) |
| implies | \Rightarrow |
\(\Rightarrow\) |
| equivalent | \Leftrightarrow |
\(\Leftrightarrow\) |