Skip to content

Instantly share code, notes, and snippets.

@aw-junaid
Last active November 30, 2025 03:50
Show Gist options
  • Select an option

  • Save aw-junaid/872f44544f1c39ac6d7e0fb17c88be78 to your computer and use it in GitHub Desktop.

Select an option

Save aw-junaid/872f44544f1c39ac6d7e0fb17c88be78 to your computer and use it in GitHub Desktop.
Ultimate guide to mathematical notation and quantum mechanics symbols. Includes calculus, algebra, set theory, Dirac notation, quantum operators, and Greek letters with detailed explanations. Perfect for students, physicists, and researchers.

Complete Mathematical and Quantum Mechanics Notation Guide

A comprehensive reference for mathematical symbols and quantum mechanics notation with detailed explanations


Table of Contents


∫ Calculus & Analysis

Symbol Name Usage Example Explanation
Infinity lim(x→∞) f(x) Unbounded quantity, larger than any real number
Summation ∑(i=1 to n) a_i Sum of sequence: a₁ + a₂ + ... + aₙ
Product ∏(i=1 to n) a_i Product of sequence: a₁ × a₂ × ... × aₙ
Integral ∫f(x)dx Area under curve or antiderivative
Double Integral ∬f(x,y)dxdy Integration over 2D area
Triple Integral ∭f(x,y,z)dxdydz Integration over 3D volume
Contour Integral ∮f(z)dz Integral along closed complex path
lim Limit lim(x→a) f(x) Value function approaches as input approaches a
Prime/Derivative f'(x) First derivative of function f
d Differential dy/dx Infinitesimal change, derivative notation
Partial Derivative ∂f/∂x Derivative with respect to one variable
Nabla/Gradient ∇f Vector of partial derivatives
∇² Laplacian ∇²f Divergence of gradient
inf Infimum inf S Greatest lower bound of set S
sup Supremum sup S Least upper bound of set S
Tends To x → a x approaches a

△ Geometry & Trigonometry

Symbol Name Usage Example Explanation
π Pi C = 2πr Circle circumference ratio ≈ 3.14159
Angle ∠ABC Angle at vertex B
Right Angle 90° 90-degree angle
Measured Angle ∡A = 45° Angle measurement
Spherical Angle ∢ABC Angle on sphere surface
Parallel AB ∥ CD Lines never intersect
Not Parallel AB ∦ CD Lines are not parallel
Perpendicular AB ⊥ CD Lines meet at 90°
Δ Triangle ΔABC Triangle with vertices A, B, C
Circle ○ O Circle with center O
¯ Segment AB̅ Line segment between A and B
Arc A͝B Arc between points A and B
° Degree 45° Angle measurement unit
sin Sine sin(θ) Opposite/Hypotenuse
cos Cosine cos(θ) Adjacent/Hypotenuse
tan Tangent tan(θ) Opposite/Adjacent
Π Product Π a_i Continuous product

Basic Arithmetic & Algebra

Symbol Name Usage Example Explanation
+ Plus a + b Addition
- Minus a - b Subtraction
× Times a × b Multiplication
Dot a ⋅ b Multiplication (alternative)
÷ Obelus a ÷ b Division
/ Slash a/b Division (fraction)
= Equals a = b Equality
Not Equal a ≠ b Inequality
Approximately π ≈ 3.14 Approximate equality
Identically f(x) ≡ g(x) Identity for all x
< Less Than a < b Comparison
> Greater Than a > b Comparison
Less or Equal a ≤ b Comparison
Greater or Equal a ≥ b Comparison
± Plus-Minus x = ±5 Positive or negative value
Minus-Plus a ± b ∓ c Opposite of ± in expressions
Square Root √4 = 2 Root of number
Cube Root ∛8 = 2 Cube root
Fourth Root ∜16 = 2 Fourth root
% Percent 50% Per hundred
Per Mille 50‰ Per thousand
! Factorial 5! = 120 Product of integers
aⁿ Exponentiation 2³ = 8 Base to power
. Decimal Point 3.14 Decimal separator

∈ Set Theory & Logic

Symbol Name Usage Example Explanation
Element Of a ∈ S a is in set S
Not Element Of a ∉ S a is not in set S
Empty Set ∅ = {} Set with no elements
Subset A ⊂ B All elements of A in B
Proper Subset A ⊊ B Subset but not equal
Superset B ⊃ A Contains all elements
Proper Superset B ⊋ A Superset but not equal
Union A ∪ B Elements in A or B
Intersection A ∩ B Elements in both A and B
\ Set Minus A \ B Elements in A but not B
Aᶜ Complement Aᶜ Elements not in A
U Universal Set U Set of all elements
For All ∀x P(x) Universal quantifier
There Exists ∃x P(x) Existential quantifier
There Does Not Exist ∄x P(x) Negation of existence
: Such That {x : x > 0} Set builder notation
Therefore P ∴ Q Logical consequence
Because Q ∵ P Reason
Q.E.D. Proof ∎ End of proof
Implies P ⇒ Q Logical implication
If and Only If P ⇔ Q Logical equivalence
AND P ∧ Q Logical conjunction
OR P ∨ Q Logical disjunction
¬ NOT ¬P Logical negation

Number Systems & Constants

Symbol Name Elements Description
Natural Numbers {1, 2, 3, ...} or {0, 1, 2, ...} Counting numbers
Integers {..., -2, -1, 0, 1, 2, ...} Whole numbers
Rational Numbers {p/q : p,q ∈ ℤ, q ≠ 0} Fractions
Real Numbers All rational and irrational numbers Number line
Complex Numbers {a + bi : a,b ∈ ℝ} Real and imaginary parts
Quaternions {a + bi + cj + dk} 4D number system
i Imaginary Unit i² = -1 Square root of -1
e Euler's Number e ≈ 2.71828 Natural logarithm base

Quantum Mechanics Notation

Dirac (Bra-Ket) Notation

Symbol Name Usage Explanation
|ψ⟩ Ket |ψ⟩ Quantum state vector (column vector)
⟨ψ| Bra ⟨ψ| Dual vector (row vector), complex conjugate
⟨φ|ψ⟩ Bra-Ket ⟨φ|ψ⟩ Inner product (scalar)
|ψ⟩⟨φ| Outer Product |ψ⟩⟨φ| Operator, matrix
Ĥ Hamiltonian Ĥ|ψ⟩ = E|ψ⟩ Total energy operator
∇² Laplacian ∇²ψ Kinetic energy operator
h-bar ℏ = h/2π Reduced Planck's constant
[A,B] Commutator [Â,B̂] = ÂB̂ - B̂Â Measures operator non-commutation
{A,B} Anti-commutator {Â,B̂} = ÂB̂ + B̂Â Used in fermionic systems
Tensor Product |ψ⟩ ⊗ |φ⟩ Composite system states
Direct Sum H₁ ⊕ H₂ Hilbert space combination

Quantum Operators

Symbol Operator Action Purpose
Position x̂ψ(x) = xψ(x) Multiply by coordinate x
Momentum p̂ = -iℏ∇ Spatial derivative
σ_x, σ_y, σ_z Pauli Matrices σ_x = [[0,1],[1,0]] Spin-1/2 operators
Annihilation â|n⟩ = √n |n-1⟩ Lowers energy level
↠Creation â†|n⟩ = √(n+1) |n+1⟩ Raises energy level
Û Unitary Û†Û = I Time evolution, preserves norm
ρ̂ Density Matrix ρ̂ = ∑ p_i |ψ_i⟩⟨ψ_i| Mixed state description

Quantum States

Notation Name Description
|0⟩, |1⟩ Qubit states Computational basis states
|+⟩, |-⟩ Hadamard basis |+⟩ = (|0⟩ + |1⟩)/√2
|n⟩ Fock state n particles in mode
|↑⟩, |↓⟩ Spin states Spin up/down
|ψ⟩ ⊗ |φ⟩ Product state Separable composite state
∫|x⟩⟨x|dx Identity Resolution of identity

Important Equations

  1. Schrödinger Equation: iℏ ∂/∂t \|ψ(t)⟩ = Ĥ \|ψ(t)⟩
  2. Time-independent SE: Ĥ\|ψ⟩ = E\|ψ⟩
  3. Heisenberg Equation: dÂ/dt = i/ℏ [Ĥ, Â] + ∂Â/∂t
  4. Canonical Commutation: [x̂, p̂] = iℏ
  5. Uncertainty Principle: Δx Δp ≥ ℏ/2

α Greek Letters (Mathematical Usage)

Symbol Name Common Usage
α Alpha Angles, constants, fine-structure constant
β Beta Angles, constants, relativistic parameter
γ Gamma Euler-Mascheroni constant, Lorentz factor
Δ Delta (upper) Change, discriminant, Laplacian
δ Delta (lower) Small increment, Dirac delta, variation
ε Epsilon Arbitrarily small number, permittivity
ζ Zeta Riemann zeta function
η Eta Efficiency, metric tensor
θ Theta Angles, temperature, parameter
λ Lambda Eigenvalues, wavelength, Lagrange multiplier
μ Mu Mean, micron, magnetic moment
ν Nu Frequency, neutrino
ξ Xi Random variable, coordinate
π Pi 3.14159..., momentum, permutation
ρ Rho Density, radius, resistivity
σ Sigma Standard deviation, Pauli matrix, cross-section
τ Tau Torque, proper time, lifetime
φ, ϕ Phi Wavefunction, angle, scalar field
χ Chi Characteristic function, susceptibility
ψ Psi Wavefunction, angular wavefunction
ω Omega (lower) Angular velocity, frequency
Ω Omega (upper) Ohms, sample space, solid angle

Advanced Mathematical Concepts

Linear Algebra

Symbol Name Usage Meaning
Tensor Product A ⊗ B Kronecker product of matrices
Direct Sum V ⊕ W Vector space sum
Hermitian Conjugate A† Transpose + complex conjugate
* Complex Conjugate z* Conjugate of complex number
T Transpose Aᵀ Matrix transpose
det Determinant det(A) Matrix determinant
tr Trace tr(A) Sum of diagonal elements
‖v‖ Norm ‖v‖ Length of vector

Group Theory

Symbol Name Usage Meaning
Composition f ◦ g Function composition
Isomorphic G ≅ H Groups have same structure
Group Operation a ◯ b Binary operation in group
Identity e Identity element

Differential Geometry

Symbol Name Usage Meaning
d Exterior Derivative Differential form derivative
Wedge Product α ∧ β Exterior product of forms
Boundary ∂M Boundary of manifold M

Important Things to Know

Mathematical Typing Systems

  • LaTeX: $\sum_{i=1}^n a_i$ renders as $∑_{i=1}^n a_i$
  • Unicode: Direct character input (most modern systems)
  • MathML: For web rendering
  • ASCII alternatives: -> for →, => for ⇒, forall for ∀

Common Notational Conventions

  1. Variables: italic (x, y, z)
  2. Constants: upright (e, π, i)
  3. Vectors: bold (v) or arrow (v⃗)
  4. Matrices: uppercase bold (A)
  5. Operators: calligraphic (ℋ) or hat (Â)

Quantum-Specific Conventions

  1. State vectors: Always normalized ⟨ψ|ψ⟩ = 1
  2. Operators: Hermitian for observables († = Â)
  3. Eigenvalues: Real for physical observables
  4. Commutators: Fundamental to quantum behavior

Physical Constants in Quantum Mechanics

  • ℏ = 1.0545718 × 10⁻³⁴ J·s (Reduced Planck's constant)
  • ε₀ = 8.854 × 10⁻¹² C²/N·m² (Vacuum permittivity)
  • μ₀ = 4π × 10⁻⁷ N/A² (Vacuum permeability)
  • c = 299,792,458 m/s (Speed of light)
  • e = 1.602 × 10⁻¹⁹ C (Elementary charge)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment