| Macro | Meaning | Reading |
|---|
| \Each x | The Universal Quantifier | for all x |
| \Some x | The Existential Quantifier | for some x |
| \One x | The Existence and Uniqueness Quantifier | for exactly one x |
| \Unq x | The Uniqueness Quantifier | for at most one x |
| \The x | The Definite Description | the x such that |
| \an x | The Indefinite Description | an x such that |
| \setof x | The Classifier | the set of x such that |
| \lonzo x | The Function Constructor | lonzo x |
| \bigcup x | The Indexed Union | union over x |
| \bigcap x | The Indexed Intersection | intersection over x |