∑ ∫ ∇
Formal · open-ended
Mathematical notation
The most rigorously designed symbol system of all: every mark defined, composable and unambiguous. A grammar where ∀, ∃ and ∈ let one line state what a paragraph cannot.
- Grammar
- The only system here that parses unambiguously: operator precedence, delimiters that nest, quantifiers with declared scope, variables bound and free. A notation that can be misread is not tolerated — it gets replaced.
- Governance
- No authority, yet near-total convergence — enforced by journal style, codified in part by ISO 80000-2, and settled in practice by TeX, which fixed the shapes of an entire discipline without ever claiming the right to.
- Members
- ∀ ∃ ∈ ∑ ∫ ∇ — Mathematical Operators U+2200–U+22FF
§Its members
A selection from Mathematical Operators.
Sources · 2
- documented Florian Cajori, A History of Mathematical Notations, 2 vols., 1928–29 — still the standard work.
- documented ISO 80000-2, Quantities and units — Part 2: Mathematics.