Statements

Logical conectives

Quantifiers

1. $\forall$ : forall
2. $\exists$ : exists
3. $\exists !$ : there exists precisley one