The quantifiers:
∀ Universal, parametric ∃ Exists, parametric, ontological commitment as such Π Dependent Product formation, non-parametric Σ Dependent Sum formation, non-parametric ı Fresh λ Abstraction μ let rec ν module formation Ϙ Parametric answer type 𐌎 Dependent answer type
() Brackets, which open and close scopes. Constant pools. Equations.