| N607: Additive notation (on D554) |
| N606: Multiplicative notation (on D554) |
| N615: Notation for Gamma function (on D258) |
| N568: Notation for a Radon-Nikodym derivative (on D2888) |
| N738: Notation for basic real sequence asymptotic lower bound growth class (on D5808) |
| N739: Notation for basic real sequence strict asymptotic upper bound growth class (on D5809) |
| N593: Notation for indicator function (on D41) |
| N624: Notation for power set (on D80) |
| N623: Notation for proper subset relation (on D101) |
| N737: Notation for real sequence asymptotic upper bound growth class (on D5807) |
| N625: Notation for set difference (on D70) |
| N592: Notation for set of bijections (on D2221) |
| N591: Notation for set of injections (on D2222) |
| N590: Notation for set of surjections (on D2223) |
| N697: Notation for standard basic real cosine function (on D1927) |
| N698: Notation for standard basic real sine function (on D1931) |
| N699: Notation for standard natural basic real exponential function (on D1932) |
| N700: Notation for standard natural basic real logarithm function (on D865) |
| N622: Notation for subset relation (on D78) |
| N747: Real arithmetic rules involving infinities (on D1275) |
