greek letters | |

upper case greek letters | |

0, 1, -2, 3.14159 | numbers |

arithmetic operators | |

relational operators | |

logical operators | |

logical quantifiers (`for all', `there exists') | |

, , | sets |

set operators | |

(intersection, union, cartesian product, function space) | |

set relational operators | |

set membership | |

|S| |
number of members in set S |

power set of S (set of all subsets) | |

natural numbers (0,1,2,...), integers | |

anonymous function. |

Examples (some of these are definitions of the corresponding symbols):

Mathematical induction can be summarised as: