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 |