List of logic symbols - Wikipedia

General

Enter latex mode with $$ $$
Enter a function with \ and {} for arguments

Table

FunctionCommandResult
Fraction\frac{1}{2}
Greek\theta \sigma \omega
Formal Logic\forall \exists \lor \land
Sets\cup \cap
Pretty Arrowx \xrightarrow{} x

x \xleftarrow{} x

Multiple Lines\displaylines{
x + y = z \
2x - 3y = z
}
Tilde\sim
Spacing\;\; \,\,

Matrices Too!

Check out backlinked notes for more examples