appendix sectionnotation

Higher-order signatures and modular elaboration

symbol	meaning	first
symbol	meaning	first
$Δ_{1} \oplus_{sig} Δ_{2}$	right-associative disjoint sum of ordinary first-order signatures	section 24.2
$H_{1} ⊞ H_{2}$	right-associative disjoint sum of higher-order signatures, including fork families	section 24.2
$\begin{matrix} {Fork}_{H} (o), \\ {Ret}_{H}^{H} (o) \end{matrix}$	nested-computation signature and ordinary response family of $o$	definition 24.2
${Hefty}_{H} (A)$	intrinsically indexed higher-order operation tree	definition 24.3
$\begin{matrix} M ≫ =_{H} g, \\ M ≫_{H} N \end{matrix}$	hefty bind and its sequencing abbreviation; bind traverses only the continuation	definition 24.6
$M ≫ = f$	ordinary free-tree bind in the elaboration target	section 24.6
$M ≫_{H} N$ , $m ≫ n$	source hefty sequencing and target free-tree sequencing; each ignores the left result	definition 24.6, definition 24.17
$\begin{matrix} {cata}_{g, α}^{H}, \\ {elaborate}_{E} \end{matrix}$	structural hefty catamorphism and its free-tree elaboration instance	definition 24.10, definition 24.12
$E_{1} ⋎ E_{2}$	right-associative disjoint operation-tag composition of elaboration components	definition 24.22
${mask}_{w}$	reinjection of a residual free tree along insertion witness $w$	definition 24.16
$⟼_{H}$	root transition of the finite source configuration system used in the seminar	exercise 24.16