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 |