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 |