| N615: Notation for Gamma function |
| N622: Notation for subset relation |
| N623: Notation for proper subset relation |
| N624: Notation for power set |
| N625: Notation for set difference |
| N591: Notation for set of injections |
| N590: Notation for set of surjections |
| N593: Notation for indicator function |
| N607: Additive notation |
| N606: Multiplicative notation |
| N699: Notation for standard natural basic real exponential function |
| N697: Notation for standard basic real cosine function |
| N698: Notation for standard basic real sine function |
| N700: Notation for standard natural basic real logarithm function |
| N568: Notation for a Radon-Nikodym derivative |
| N738: Notation for basic real sequence asymptotic lower bound growth class |
| N739: Notation for basic real sequence strict asymptotic upper bound growth class |
| N737: Notation for real sequence asymptotic upper bound growth class |
| N747: Real arithmetic rules involving infinities |
| N592: Notation for set of bijections |
