appendix sectionnotation

Disjoint intersections and merge elaboration

symbol	meaning	first
symbol	meaning	first
$e_{1},, e_{2}$	source merge; elaborates to an ordered target pair	chapter 21
$A & B$	source intersection implemented by a target product	definition 21.1
$A * B$	no raw type is a common supertype of $A, B$	definition 21.4
$A *_{a} B$	algorithmic simple disjointness	definition 21.6
$A <: B ⇝ c$	coercive subtyping with target coercion $c$	definition 21.2
$Γ ⊢ e \Rightarrow A ⇝ M$	synthesize and elaborate	definition 21.9
$Γ ⊢ e \Leftarrow A ⇝ M$	check and elaborate	definition 21.9