| Macro | Meaning |
|---|---|
| \Not p | The Negation of p |
| \ex A | A exists |
| \Cmpl A | The Complement of A |
| \SI A | The Union of all the elements of A |
| \PI A | The Intersection of all the elements of A |
| \num A | The Cardinality of a Finite Set A |
| \sb A | The Set of All Subsets of A |
| \ss A | The Set of All Singletons of elements of A |
| \dmn f | The Domain of a function f |
| \rng f | The Range of a function f |
| \Max A | The Largest Element of an Ordered Set A |
| \Min A | The Smallest Element of an Ordered Set A |
| \.fx | The Value of the function f at x |