Bound Variable Operators

Macro Meaning Reading
\Each xThe Universal Quantifierfor 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