A comprehensive reference for mathematical symbols and quantum mechanics notation with detailed explanations
- Calculus & Analysis
- Geometry & Trigonometry
- Basic Arithmetic & Algebra
- Set Theory & Logic
- Number Systems & Constants
- Quantum Mechanics Notation
- Greek Letters
- Advanced Mathematical Concepts
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| Symbol | Operator | Action | Purpose |
|---|---|---|---|
| x̂ | Position | x̂ψ(x) = xψ(x) |
Multiply by coordinate x |
| p̂ | 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 |
| 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 |
- Schrödinger Equation:
iℏ ∂/∂t \|ψ(t)⟩ = Ĥ \|ψ(t)⟩ - Time-independent SE:
Ĥ\|ψ⟩ = E\|ψ⟩ - Heisenberg Equation:
dÂ/dt = i/ℏ [Ĥ, Â] + ∂Â/∂t - Canonical Commutation:
[x̂, p̂] = iℏ - Uncertainty Principle:
Δx Δp ≥ ℏ/2
| 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 |
| 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 |
| 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 |
| Symbol | Name | Usage | Meaning |
|---|---|---|---|
| d | Exterior Derivative | dω |
Differential form derivative |
| ∧ | Wedge Product | α ∧ β |
Exterior product of forms |
| ∂ | Boundary | ∂M |
Boundary of manifold M |
-
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 ⇒,forallfor ∀
- Variables: italic (x, y, z)
- Constants: upright (e, π, i)
- Vectors: bold (v) or arrow (v⃗)
- Matrices: uppercase bold (A)
- Operators: calligraphic (ℋ) or hat (Â)
- State vectors: Always normalized ⟨ψ|ψ⟩ = 1
- Operators: Hermitian for observables († = Â)
- Eigenvalues: Real for physical observables
- Commutators: Fundamental to quantum behavior
- ℏ = 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)