appendix sectionnotation

Cubical type theory

symbol	meaning	first
symbol	meaning	first
$I$	interval sort	chapter 80
$F$	face lattice/cofibration algebra	chapter 80
${Path}_{A} (a, b)$	homogeneous path type	chapter 80
${PathP}_{i . A} (a, b)$	dependent path type	chapter 80
$⟨ i ⟩ t$	dimension abstraction	chapter 80
$[φ \mapsto u]$	compatible system/partial element	chapter 80
$comp, hcomp, transp, fill$	De Morgan composition, homogeneous composition, transport, and filling	chapter 80
$coe, hcom$	Cartesian coercion and homogeneous composition	chapter 81
$Glue, glue, unglue$	Glue type and its term operations	chapter 80