Appendix B: Notational Conventions

---

B.1 Metavariable Names

IN TEXT	IN ML CODE	USAGE
p, q, r, s, t, u	s, t	terms
x, y, z	x, y	term variables
v, w	v, w	values
nv	nv	numeric values
l, j, k	l	record/variant field labels
μ	store	stores
M, N, P, Q, S, T, U, V	tyS, tyT	types
A, B, C	tyA, tyB	base types
Σ		store typings
X, Y, Z	tyX, tyY	type variables
K, L	kK, kL	kinds
σ		substitutions
Г, Δ	ctx	contexts
J		arbitrary statements
D		typing derivations
C		subtyping derivations
	fi	file position information
i, j, k, l		numeric subscripts

---