Skip to content
VibeFormer
Beginner10 min

Mathematical Notation Guide

Every symbol used on this site, defined once: scalars, vectors, matrices, operators, probability and asymptotics.

Mathematical Notation Guide

Intuition first

Most of the difficulty in reading mathematics is not conceptual. It is that a symbol appears without introduction and you cannot even say it out loud, let alone reason about it.

This page defines every symbol used across the site, with how to pronounce it. Individual lessons repeat the relevant subset in a notation table before using it, so you should never need this page mid-lesson — it is here as a reference and for the cases where a lesson assumes something it should have stated.

Read it once to calibrate, then come back when something looks unfamiliar.

Conventions

ConventionMeaningExample
Lowercase italicScalarxx, α\alpha, nn
Lowercase boldVectorx\mathbf{x}, w\mathbf{w}
Uppercase italicMatrixAA, XX, Σ\Sigma
Uppercase, probability contextRandom variableXX, YY
HatEstimate or predictionθ^\hat{\theta}, y^\hat{y}
BarSample averagexˉ\bar{x}
Tilde"Is distributed as"XN(0,1)X \sim \mathcal{N}(0,1)
StarOptimal valuehh^*, π\pi^*
Subscript iiIndex over examplesxix_i, yiy_i
Subscript jjIndex over featureswjw_j

Sets and logic

SymbolMeaningRead as
\inIs an element of"in"
\notinIs not an element of"not in"
\subseteqIs a subset of"subset of"
\cupUnion"union"
\capIntersection"intersect"
\varnothingEmpty set"empty set"
AcA^cComplement of AA"A complement"
A\lvert A \rvertSize of a set, or absolute value"size of A"
R\mathbb{R}Real numbers"R"
Rd\mathbb{R}^ddd-dimensional real vectors"R to the d"
Z\mathbb{Z}, N\mathbb{N}Integers, natural numbers"Z", "N"
[a,b][a,b]Closed interval, endpoints included"closed a b"
(a,b)(a,b)Open interval, endpoints excluded"open a b"
\forallFor all"for all"
\existsThere exists"there exists"
    \impliesImplies"implies"
    \iffIf and only if"if and only if"
¬\neg, \wedge, \veeNot, and, or"not", "and", "or"
\vdash, \modelsProvable, entails"proves", "entails"

Probability

SymbolMeaningRead as
Ω\OmegaSample space"omega"
P(A)\Prob(A)Probability of event AA"P of A"
P(AB)\Prob(A \mid B)Probability of AA given BB"P of A given B"
p(x)p(x)Probability mass function"p of x"
f(x)f(x)Probability density function"f of x"
F(x)F(x)Cumulative distribution function"big F of x"
E[X]\E[X]Expected value"E of X"
Var(X)\Var(X), σ2\sigma^2Variance"variance of X"
σ\sigmaStandard deviation"sigma"
Cov(X,Y)\Cov(X,Y)Covariance"covariance"
ρ\rhoCorrelation coefficient"rho"
X ⁣ ⁣ ⁣YX \ind YXX is independent of YY"independent of"
\simIs distributed as"distributed as"
N(μ,σ2)\mathcal{N}(\mu, \sigma^2)Normal distribution"normal mu sigma squared"
1[]\mathbb{1}[\cdot]Indicator: 1 if true, else 0"indicator"
d\xrightarrow{d}, P\xrightarrow{P}Converges in distribution / probability"converges to"
Φ(z)\Phi(z)Standard normal CDF"Phi of z"

Linear algebra

SymbolMeaningRead as
xT\mathbf{x}\TTranspose"x transpose"
A1A^{-1}Matrix inverse"A inverse"
A+A^{+}Moore–Penrose pseudoinverse"A plus"
xTy\mathbf{x}\T\mathbf{y}Inner product"x dot y"
x\norm{\mathbf{x}}Norm, length of a vector"norm of x"
x1\norm{\mathbf{x}}_1, x2\norm{\mathbf{x}}_2L1 and L2 norms"L one norm"
det(A)\det(A), A\lvert A \rvertDeterminant"determinant"
tr(A)\operatorname{tr}(A)Trace, sum of the diagonal"trace"
rank(A)\operatorname{rank}(A)Rank"rank"
λ\lambdaEigenvalue"lambda"
IIIdentity matrix"identity"
Σ\SigmaCovariance matrix (or a sum)"sigma"
\odotElementwise (Hadamard) product"elementwise product"

Calculus and optimisation

SymbolMeaningRead as
dydx\frac{dy}{dx}Derivative"dy by dx"
fx\frac{\partial f}{\partial x}Partial derivative"partial f partial x"
f\nabla fGradient, vector of partials"grad f" or "nabla f"
2f\nabla^2 f, HHHessian, matrix of second partials"Hessian"
JJJacobian"Jacobian"
\intIntegral"integral"
arg minxf(x)\argmin_x f(x)The xx achieving the minimum"arg min"
minxf(x)\min_x f(x)The minimum value itself"min"
\proptoProportional to"proportional to"
\approxApproximately equal"approximately"
\toTends to"tends to"
O()O(\cdot), Θ()\Theta(\cdot)Asymptotic upper bound, tight bound"big O", "big theta"
ϵ\epsilonSmall positive quantity, or tolerance"epsilon"
δ\deltaSmall quantity, or failure probability"delta"

Machine learning

SymbolMeaningRead as
X\mathcal{X}, Y\mathcal{Y}Input and output spaces"script X", "script Y"
D\mathcal{D}Data distribution"script D"
H\mathcal{H}Hypothesis space"script H"
hh, ffA hypothesis, the true function"h", "f"
θ\theta, ww, bbParameters, weights, bias"theta", "w", "b"
L(y,y^)L(y,\hat y)Loss on one example"loss"
J(θ)J(\theta)Objective over the dataset"J of theta"
R(h)R(h), R^(h)\hat R(h)True risk, empirical risk"risk", "R hat"
λ\lambdaRegularisation strength"lambda"
η\eta, α\alphaLearning rate"eta", "alpha"
nn, dd, KKExamples, features, classes
σ(z)\sigma(z)Sigmoid function"sigmoid"
\odotElementwise product

Greek letters

Worth being able to pronounce, since you will meet them constantly.

LetterNameTypical use
α\alphaalphaLearning rate, significance level, shape
β\betabetaCoefficients, scale, Type II error
γ\gammagammaDiscount factor, kernel width
δ\deltadeltaSmall change, failure probability
ϵ\epsilonepsilonSmall quantity, noise, tolerance
η\etaetaLearning rate
θ\thetathetaParameters generally
λ\lambdalambdaRegularisation, rate, eigenvalue
μ\mumuMean
π\pipiPolicy, mixture weight, 3.14159
ρ\rhorhoCorrelation
σ\sigmasigmaStandard deviation, sigmoid
τ\tautauTemperature, time constant
ϕ\phiphiFeature map, normal density
ψ\psipsiAuxiliary function
ω\omegaomegaOutcome, frequency
Γ\Gammacapital gammaGamma function
Δ\Deltacapital deltaChange or difference
Σ\Sigmacapital sigmaSum, covariance matrix
Φ\Phicapital phiNormal CDF
Ω\Omegacapital omegaSample space, asymptotic lower bound

Custom shorthands used on this site

To keep expressions readable, a few macros are defined site-wide:

E[X],Var(X),Cov(X,Y),P(A),X ⁣ ⁣ ⁣Y\E[X], \quad \Var(X), \quad \Cov(X,Y), \quad \Prob(A), \quad X \ind Y arg minθJ(θ),arg maxθJ(θ),wTx,w,x\argmin_\theta J(\theta), \quad \argmax_\theta J(\theta), \quad \mathbf{w}\T\mathbf{x}, \quad \norm{\mathbf{w}}, \quad \abs{x}

These render identically to their long forms; the shorthand exists only to keep the source legible.

Exercise 1

Read the following aloud, then state what it says in plain English:

θ^=arg minθΘ  1ni=1nL(yi,hθ(xi))+λθ22\hat{\theta} = \argmin_{\theta \in \Theta} \; \frac{1}{n}\sum_{i=1}^{n} L\big(y_i,\, h_\theta(x_i)\big) + \lambda\norm{\theta}_2^2
Show solution

Aloud: "theta hat equals arg min over theta in capital theta of one over n, sum from i equals one to n, of the loss of y-i and h-theta of x-i, plus lambda times the L-two norm of theta squared."

In plain English: the estimated parameters θ^\hat\theta are whichever parameters, from among all allowed parameters Θ\Theta, minimise the sum of two things: the average loss across the nn training examples, and a penalty λ\lambda times the squared length of the parameter vector.

Reading the pieces:

  • arg min\argmin, not min\min — the answer is a parameter vector, not a number.
  • 1n\frac{1}{n}\sum — an average over examples, which is empirical risk.
  • hθ(xi)h_\theta(x_i) — the model's prediction for example ii, with the subscript showing it depends on the parameters being chosen.
  • λθ22\lambda\norm{\theta}_2^2 — L2 regularisation; the larger λ\lambda, the more large parameters are penalised.

This single line is regularised empirical risk minimisation, which is what almost every supervised learning algorithm in the curriculum computes.


Next: How to Actually Learn This Material, or go straight to Sample Spaces and the Axioms of Probability.