appendix sectionnotation

MixML linking and definedness

symbol	meaning	first
symbol	meaning	first
$p^{-} : A, p^{+} : A$	imported and exported polar components	definition 15.1
$merge (Σ_{1}, Σ_{2})$	partial compatible-signature merge	definition 15.2
$Ω; D ⊢ M : Σ \Rightarrow D^{'}$	typed initialization and defined-slot transition	definition 15.3
$L, U$	undefined-linear and defined-unrestricted slot modes	definition 15.6
$Ξ ⊢_{tr} t \Rightarrow Ξ^{'}$	ordered scoped-trace validation	definition 15.7
$[[A {]]}^{\pm}, [[Φ {]]}^{\pm}$	full MixML term and unit components	definition 15.10
$▹, ⊎, #, ⋈, *$	trace extraction, realizer union, disjointness, locator lookup, and LTG split	definition 15.6, definition 15.10