Notation
Core Symbols
Arithmetic and algebra
+, -, ×, ÷ Basic operations
· Multiplication (dot)
a^n Exponentiation
sqrt(x), ∛x Square root, cube root
|x| Absolute value
⌊x⌋ Floor (round down)
⌈x⌉ Ceiling (round up)
n! Factorial: n × (n-1) × ... × 1
± Plus or minus
≈ Approximately equal
∝ Proportional to
Equality and inequality
= Equal
≠ Not equal
<, > Less than, greater than
≤, ≥ Less/greater than or equal
≡ Identical / congruent (mod n)
:= or ≜ Defined as
~ Approximately / distributed as
Logic and sets
∀ For all (universal quantifier)
∃ There exists (existential)
∃! There exists exactly one
∈ Element of
∉ Not element of
⊆, ⊂ Subset, proper subset
∪ Union
∩ Intersection
∅ Empty set
¬, ∧, ∨ Not, and, or
→, ↔ Implies, if and only if
∴ Therefore
∵ Because
□, QED End of proof
Greek Letters in Math and CS
Commonly used
Letter Name Common usage
──────────────────────────────────────────────
α alpha Significance level, angles, learning rate
β beta Type II error, angles, coefficients
γ gamma Euler-Mascheroni constant, discount factor
δ delta Small change, Kronecker delta, tolerance
ε epsilon Small positive number, machine epsilon
ζ zeta Riemann zeta function
η eta Learning rate, efficiency
θ theta Angle, parameters (ML)
ι iota (rare in math)
κ kappa Curvature, condition number
λ lambda Eigenvalue, Poisson rate, anonymous functions
μ mu Mean, micro (10^-6)
ν nu Degrees of freedom, frequency
ξ xi Random variable, dummy variable
π pi 3.14159..., projection
ρ rho Correlation, density, resistivity
σ sigma Standard deviation, summation (Σ)
τ tau Time constant, Kendall's tau
υ upsilon (rare)
φ phi Euler's totient, golden ratio, angle
χ chi Chi-squared test
ψ psi Wave function, digamma
ω omega Angular frequency, Big-Omega (Ω)
Calculus and Analysis Notation
Summation and product
Σ (sigma) Summation: sum_{i=1}^{n} i = 1 + 2 + ... + n
Π (pi) Product: prod_{i=1}^{n} i = n!
∫ Integral: ∫_a^b f(x) dx
∂ Partial derivative: ∂f/∂x
∇ Gradient (nabla): ∇f = (∂f/∂x, ∂f/∂y, ∂f/∂z)
∞ Infinity
lim Limit: lim_{x→a} f(x)
→ Approaches: x → ∞
d/dx Derivative with respect to x
f'(x) First derivative of f
f''(x) Second derivative
CS-Specific Notation
Complexity
O(f(n)) Big-O: upper bound (worst case)
Ω(f(n)) Big-Omega: lower bound (best case)
Θ(f(n)) Big-Theta: tight bound (exact order)
o(f(n)) Little-o: strictly less than
ω(f(n)) Little-omega: strictly greater than
Logic and type theory
⊤, ⊥ True, False (top, bottom)
⊢ Proves / entails: Γ ⊢ A
⊨ Models / satisfies
λ Lambda (function abstraction)
→ Function type: A → B
× Product type: A × B
+ Sum type: A + B
∘ Function composition: (f ∘ g)(x) = f(g(x))
Set-builder and interval
{x | P(x)} Set of x satisfying P
{x ∈ S | P(x)} Set of x in S satisfying P
[a, b] Closed interval
(a, b) Open interval
[a, b) Half-open interval
(a, ∞) All reals greater than a
Naming Conventions
Common variable choices
Category Typical variables
────────────────────────────────────
Integers i, j, k, m, n
Real numbers x, y, z, t
Complex z, w
Matrices A, B, C, M
Vectors u, v, w, x (bold or arrow)
Sets A, B, C, S, T, U (capitals)
Functions f, g, h
Primes p, q
Angles α, β, θ, φ
Small quantities ε, δ
Constants c, k, C, K
Probability P, p, q
Statistics μ (mean), σ (SD), ρ (correlation)
Parameters α, β, θ, λ