Skip to content

This page maps common symbols to their default meanings in Core Formalism. It is a local lookup aid, not a full glossary and not a replacement for definitions on the teaching pages.

When a symbol has several possible meanings, the local page context wins. Check nearby definitions before transferring a formula from another topic.

For a site-wide quick table, see Common Symbols Index. For individual symbol entries, use the Symbol Index.

For term-level orientation, see Glossary for Core Formalism. For checks on calculations using these symbols, see Common Checks and Sanity Tests.

Symbol Meaning and explanation Keep in mind
∣ψ⟩\lvert\psi\rangle pure-state vector representative The physical pure state is a ray, so multiplying a normalized vector by a constant phase eiαe^{i\alpha} does not change the state.
⟨ψ∣\langle\psi\rvert bra dual to ∣ψ⟩\lvert\psi\rangle The inner product is conjugate-linear in the bra argument in physics convention.
∣ϕ⟩\lvert\phi\rangle another state vector, often a test state or comparison state Do not infer orthogonality from different letters.
ψ(x)\psi(x) position-space wavefunction ⟨x∣ψ⟩\langle x\vert\psi\rangle A wavefunction is a representation of a state, not a new kind of state.
ψ~(p)\tilde\psi(p) momentum-space wavefunction Fourier-transform conventions affect factors of 2π2\pi and ℏ\hbar.
cnc_n expansion coefficient ⟨n∣ψ⟩\langle n\vert\psi\rangle in a discrete orthonormal basis Coefficients change when the basis changes.
H\mathcal H Hilbert space of a system A model must specify which Hilbert space is being used.
ρ\rho density operator In wave mechanics, ρ(x)\rho(x) may instead mean probability density.
ρA\rho_A reduced density operator of subsystem AA It gives all local predictions for AA, not the full joint state.
Symbol Meaning and explanation Keep in mind
A,BA,B linear operators; sharp observables are self-adjoint Hermitian matrices are self-adjoint; an unbounded operator also needs its domain.
HH Hamiltonian operator A differential Hamiltonian also needs a domain and boundary conditions.
xx position coordinate or position operator, by context Distinguish coordinate value xx from operator action.
pp momentum value or momentum operator, by context pp can also denote probability in informal prose; avoid ambiguity.
PaP_a projector onto outcome or eigenspace labeled by aa PP without a subscript may also mean probability.
EiE_i POVM effect An effect obeys 0≤Ei≤I0\le E_i\le I; a complete POVM sums to II.
II identity operator Also written I\mathbb I or IHI_{\mathcal H}.
ana_n eigenvalue of an observable AA Eigenvalue labels and eigenstate labels are not the same thing.
∣a,n⟩\lvert a,n\rangle basis state in a possibly degenerate eigenspace Degenerate eigenspaces require extra labels or projectors.
f(A)f(A) function of an operator Use spectral or functional calculus, not entrywise functions unless justified.
Symbol Meaning and explanation Keep in mind
p(a)p(a) probability of outcome aa Probabilities depend on both state and measurement.
⟨A⟩\langle A\rangle expectation value of observable AA It is an average and need not be a possible single-trial outcome.
ΔA\Delta A standard deviation of observable AA Some texts use this symbol for A−⟨A⟩IA-\langle A\rangle I; here that centered operator is written δA\delta A.
Var⁡(A)\operatorname{Var}(A) variance of observable AA A finite variance requires a finite second spectral moment; when finite it is nonnegative.
Cov⁡(A,B)\operatorname{Cov}(A,B) covariance of observables AA and BB in a state For noncommuting observables, use the symmetrized covariance when a real statistic is meant.
Tr⁡\operatorname{Tr} trace A bounded observable times a trace-class state has a well-defined trace. Unbounded observables need finite spectral moments and domain care.
ρ↦PaρPa/Tr⁡(ρPa)\rho\mapsto P_a\rho P_a/\operatorname{Tr}(\rho P_a) ideal selective projective update This Lüders rule requires Tr⁡(ρPa)>0\operatorname{Tr}(\rho P_a)>0 and specifies the measurement implementation.
∑aPaρPa\sum_a P_a\rho P_a nonselective Lüders update It removes coherence between distinct outcome subspaces; a nontrivial Lüders channel is generally not unitary.
Symbol Meaning and explanation Keep in mind
tt time parameter In ordinary nonrelativistic quantum mechanics, time is not represented by the same kind of operator as position.
U(t)U(t) time-evolution operator from a chosen origin For time-dependent Hamiltonians, use U(t,t0)U(t,t_0) and time ordering where needed.
EnE_n energy eigenvalue The zero of energy may be conventional.
∣En⟩\lvert E_n\rangle energy eigenstate Degeneracies require extra labels.
ω\omega angular frequency Ordinary frequency is usually ν\nu or ff, with ω=2πν\omega=2\pi\nu.
ℏ\hbar reduced Planck constant Kept explicit unless a page declares units with ℏ=1\hbar=1.

Commutators, Compatibility, and Uncertainty

Section titled “Commutators, Compatibility, and Uncertainty”
Symbol Meaning and explanation Keep in mind
[A,B][A,B] commutator AB−BAAB-BA Operator order matters.
{A,B}\{A,B\} anticommutator AB+BAAB+BA Braces may denote sets elsewhere.
[x,p]=iℏI[x,p]=i\hbar I canonical position-momentum commutation relation Domains and boundary conditions matter for unbounded operators.
σA\sigma_A standard deviation of observable AA σi\sigma_i also denotes Pauli matrices in spin contexts.
Δx Δp≥ℏ/2\Delta x\,\Delta p\ge\hbar/2 position-momentum uncertainty relation It is about preparation statistics, not detector disturbance alone.
Symbol Meaning and explanation Keep in mind
⊗\otimes tensor product Tensor-product ordering must be fixed and used consistently.
HA⊗HB\mathcal H_A\otimes\mathcal H_B composite Hilbert space Not every vector factors into a product state.
∣ψ⟩A∣ϕ⟩B\lvert\psi\rangle_A\lvert\phi\rangle_B shorthand for a product state The subsystem labels are part of the notation, not multiplication of numbers.
ρAB\rho_{AB} joint density operator of systems AA and BB The joint state contains correlations not present in either reduction alone.
Tr⁡BρAB\operatorname{Tr}_B\rho_{AB} partial trace over subsystem BB Tracing out a subsystem is not the same as measuring it.
S(ρ)S(\rho) von Neumann entropy when defined in density-operator context SS may also denote action in semiclassical contexts.
Symbol Meaning and explanation Keep in mind
SS action in classical-limit or path-integral contexts Also used for entropy or spin depending on context.
S/ℏS/\hbar dimensionless action phase scale The phrase "ℏ→0\hbar\to0" needs a dimensionless control parameter.
λdB\lambda_{\mathrm{dB}} de Broglie wavelength Small wavelength relative to one length scale may not be small relative to another.
⟨E2∣E1⟩\langle E_2\vert E_1\rangle environmental-state overlap in simple decoherence models Small overlap suppresses local interference but does not by itself select an outcome.
{q,p}PB\{q,p\}_{\mathrm{PB}} classical Poisson bracket Replacing Poisson brackets by commutators is a guide, not a universal quantization algorithm.
Symbol Collision How to resolve it
ρ\rho density operator vs probability density Check whether ρ\rho is used inside traces or under spatial integrals.
PP probability vs projector Projectors usually act on states and may carry labels such as PaP_a.
pp momentum vs probability Probability is usually written p(a)p(a) or P(a)P(a); momentum appears in commutators and Hamiltonians.
SS action vs entropy vs spin Use the chapter context: classical limit, density operators, or angular momentum.
σ\sigma standard deviation vs Pauli matrix ΔA\Delta A or σA\sigma_A marks uncertainty; σx,σy,σz\sigma_x,\sigma_y,\sigma_z are Pauli matrices.
UU unitary operator vs potential energy in older notation Core Formalism uses UU mainly for unitary transformations and VV for potentials.
EiE_i POVM effect vs energy label Measurement pages use EiE_i for effects; dynamics pages often use EnE_n for energies.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.