appendix sectionnotation

Containers, descent, Mendler iteration, and observations

notation	meaning	owner
notation	meaning	owner
$⟨ S, P ⟩ X$ , $⟨ S, P, n ⟩ (X) (j)$	extension of an ordinary or indexed container	chapter 81
$\partial F$ , $plug$ , ${forget}_{O}$	polynomial derivative, one-hole plugging, and ornament forgetting	chapter 81
${Acc}_{R} (a)$ , $WellFounded (R)$ , ${wfrec}_{R, P}$	accessibility, well-foundedness, and proof-indexed recursion	chapter 32
$≺$ , $⪯$ , $⇓^{<}$ , $⇓^{=}$	strict/weak value orders and the corresponding size-change information labels	chapter 83
$μ^{M} F$ , $MAlg (F, A)$ , ${mfold}_{F}$	selected Mendler carrier, algebra, and iterator	chapter 84
$Incr (A)$ , $Term (A)$ , $liftSub$	nested variable extension, nested terms, and lifted substitution	chapter 84
$Stream (A)$ , ${corec}_{A} (S, h, t, x)$ , $s \approx_{A} t$	guarded streams, state-machine corecursion, and finite-observation equality	chapter 33
${Stream}^{α} (A)$ , ${tail}^{α, β}$	bounded sized approximant and size-decreasing tail observation	chapter 33