appendix sectionnotation

Ordered Lambek calculus

symbol	meaning	first
symbol	meaning	first
$ϵ$	empty context word	chapter 38
$Γ, Δ$	concatenation of ordered context words $Γ, Δ$	chapter 38
$Γ \Rightarrow A$	one-conclusion Lambek sequent	chapter 38
$A \cdot B$	ordered product	chapter 38
$A \ B$	result $B$ awaiting $A$ on its left	chapter 38
$B / A$	result $B$ awaiting $A$ on its right	chapter 38
$\| A \|$	formula size used in cut rank and search weight	chapter 38
$w (Γ \Rightarrow A)$	total sequent weight	chapter 38
$⇝_{0}$	contraction of displayed Lambek proof trees; not elaboration	chapter 38