# Symbol Table — EML-ONTO-CORE-02 v0.1

| Symbol | Meaning | Type / Note |
|---|---|---|
| $\Omega_{\mathrm{car}}$ | Carrier domain | inherited from Paper 01 |
| $\mathbb L$ | Layer index set | latent / active / manifest / graph |
| $\operatorname{sig}(T)$ | Typed operator signature | source, target, context, axis, invariants |
| $F_\tau$ | Structural witness | maps to a preordered structure |
| $\sigma_\tau(T;x)$ | Direction signature | $+,0,-,?$ |
| $\boldsymbol\sigma(T;x)$ | Multi-axis direction vector | multiple typed witnesses |
| $\mathfrak E$ | Expansion family | operator family |
| $\mathfrak L$ | Connection family | relational operator family |
| $\mathfrak C$ | Convergence family | operator family |
| $\Pi_{a\to b}$ | Cross-layer projection / abstraction | must be typed |
| $\delta_{\Pi,T}$ | Pointwise commutation defect | requires target discrepancy |
| $\Delta_{\Pi,T}$ | Global commutation defect | if supremum is defined |
| $\Sigma_3$ | Triadic label alphabet | $\{\mathsf E,\mathsf L,\mathsf C\}$ |
| $\mathfrak E^\omega$ | Open-ended expansion iteration | not completed infinity |
| $\mathfrak L^\omega$ | Open-ended connection iteration | not completed infinity |
| $\mathfrak C^\omega$ | Open-ended convergence iteration | not analytic limit by itself |
| $\mathrm{SSDC}$ | Shared-State Domain Coupling | strong subtype of Connection |
| $CRL$ | Convergent Re-linking | higher-order branch operator |