| Symbol or Macro | Meaning |
|---|---|
| \Nul | Nothing |
| \e | The Empty Set |
| \U | The Universe |
| 0-9 | Single Digit Integers |
| \omega | The Set of Finite Ordinals |
| \Omega | The Class of All Ordinals |
| \nats | The Set of Natural Numbers |
| \ints | The Set of Integers |
| \reals | The Set of Real Numbers |
| \fnt | The Class of All Finite Sets |
| \function | The Class of Functions |
| \relation | The Class of Relations |
| \sqnc | The Class of Sequences |
| \fsqnc | The Class of Finite Sequences |
| \transitive | The Class of All Transitive Relations |
| \antisymmetric | The Class of All Anti-Symmetric Relations |
| \commutative | The Class of All Commutative Binary Operations |
| \associative | The Class of All Associative Operations |
| \group | The Class of All Groups |