appendix sectionnotation

Immutable records and bounded subtyping

symbol	meaning	first
symbol	meaning	first
$Γ ⊢ A <: B$	declarative subtype judgment	chapter 8
$A ⊔ B, A ⊓ B$	first-order join and meet	chapter 8
$Γ (X) = A$	lookup of the declared upper bound of $X$	chapter 8
$\forall X <: A . B$	universal type with upper bound $A$	chapter 8
$Γ ⊢_{a} A <: B$	deterministic Kernel subtype judgment	chapter 8
$J ⇝_{a} J^{'}$	one algorithmic subtyping-query promotion step	chapter 8
$w_{Γ} (A)$	context-relative natural-number measure for recursive calls	chapter 8
$F_{<:}$	bounded polymorphism with distinct Kernel and full rule sets	chapter 8