Skip to content

Symbol Map

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. Specialized pages should declare nonstandard conventions near the first use.

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 calculation-level validation of these symbols in use, see Common Checks and Sanity Tests.

SymbolDefault Core meaningCanonical pageCommon warning
∣ψ⟩\lvert\psi\ranglepure-state vector representativeState VectorsThe physical pure state is a ray, so a nonzero overall phase does not change the state.
⟨ψ∣\langle\psi\rvertbra dual to ∣ψ⟩\lvert\psi\rangleBra-Ket NotationThe inner product is conjugate-linear in the bra argument in physics convention.
∣ϕ⟩\lvert\phi\rangleanother state vector, often a test state or comparison stateQuantum StatesDo not infer orthogonality from different letters.
ψ(x)\psi(x)position-space wavefunction ⟨x∣ψ⟩\langle x\vert\psi\rangleWavefunctions as RepresentationsA wavefunction is a representation of a state, not a new kind of state.
ψ~(p)\tilde\psi(p)momentum-space wavefunctionMomentum-Space RepresentationFourier-transform conventions affect factors of 2π2\pi and ℏ\hbar.
cnc_nexpansion coefficient ⟨n∣ψ⟩\langle n\vert\psi\rangle in a discrete basisChange of BasisCoefficients change when the basis changes.
H\mathcal HHilbert space of a systemHilbert SpacesA model must specify which Hilbert space is being used.
ρ\rhodensity operatorDensity OperatorsIn wave mechanics, ρ(x)\rho(x) may instead mean probability density.
ρA\rho_Areduced density operator of subsystem AAReduced Density MatricesIt gives all local predictions for AA, not the full joint state.
SymbolDefault Core meaningCanonical pageCommon warning
A,BA,Bgeneral operators, often observables when Hermitian or self-adjointObservablesNot every linear operator is a physical observable.
HHHamiltonian operatorHamiltoniansA differential Hamiltonian also needs a domain and boundary conditions.
xxposition coordinate or position operator, by contextPosition OperatorDistinguish coordinate value xx from operator action.
ppmomentum value or momentum operator, by contextMomentum Operatorpp can also denote probability in informal prose; avoid ambiguity.
PaP_aprojector onto outcome or eigenspace labeled by aaProjectorsPP without a subscript may also mean probability.
EiE_iPOVM effectPOVMs: First EncounterEffects are positive operators; they need not be projectors.
IIidentity operatorProjectorsAlso written I\mathbb I or IHI_{\mathcal H}.
ana_neigenvalue of an observable AAEigenvalues and EigenstatesEigenvalue labels and eigenstate labels are not the same thing.
∣a,n⟩\lvert a,n\ranglebasis state in a possibly degenerate eigenspaceEigenvalues and EigenstatesDegenerate eigenspaces require extra labels or projectors.
f(A)f(A)function of an operatorFunctions of OperatorsUse spectral or functional calculus, not entrywise functions unless justified.
SymbolDefault Core meaningCanonical pageCommon warning
p(a)p(a)probability of outcome aaBorn RuleProbabilities depend on both state and measurement.
⟨A⟩\langle A\rangleexpectation value of observable AAExpectation ValuesIt is an average, not usually a possible single-shot outcome.
ΔA\Delta Astandard deviation of observable AAVariance and Standard DeviationDo not confuse with a finite difference.
Var⁡(A)\operatorname{Var}(A)variance of observable AAVariance and Standard DeviationVariance is nonnegative for observables in valid states.
Cov⁡(A,B)\operatorname{Cov}(A,B)covariance of observables AA and BB in a stateCorrelations and CovarianceFor noncommuting observables, use the symmetrized covariance when a real statistic is meant.
Tr⁡\operatorname{Tr}traceTrace Rule for Expectation ValuesTrace formulas require trace-class states in infinite-dimensional settings.
ρ↦PaρPa/Tr⁡(ρPa)\rho\mapsto P_a\rho P_a/\operatorname{Tr}(\rho P_a)ideal selective projective updateState Update RuleThis is conditional on outcome aa having occurred.
∑aPaρPa\sum_a P_a\rho P_anonselective projective measurement updateState Update RuleIt removes coherence between measurement subspaces but is not unitary evolution.
SymbolDefault Core meaningCanonical pageCommon warning
tttime parameterSchrödinger EquationIn 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 originTime-Evolution OperatorFor time-dependent Hamiltonians, use U(t,t0)U(t,t_0) and time ordering where needed.
EnE_nenergy eigenvalueEnergy EigenstatesThe zero of energy may be conventional.
∣En⟩\lvert E_n\rangleenergy eigenstateEnergy EigenstatesDegeneracies require extra labels.
ω\omegaangular frequencyTime Evolution OperatorOrdinary frequency is usually ν\nu or ff, with ω=2πν\omega=2\pi\nu.
ℏ\hbarreduced Planck constantUnits and ConstantsKept explicit unless a page declares units with ℏ=1\hbar=1.

Commutators, Compatibility, and Uncertainty

Section titled “Commutators, Compatibility, and Uncertainty”
SymbolDefault Core meaningCanonical pageCommon warning
[A,B][A,B]commutator AB−BAAB-BACommutatorsOperator order matters.
{A,B}\{A,B\}anticommutator AB+BAAB+BACommutatorsBraces may denote sets elsewhere.
[x,p]=iℏI[x,p]=i\hbar Icanonical position-momentum commutation relationCanonical Commutation RelationsDomains and boundary conditions matter for unbounded operators.
σA\sigma_Astandard deviation of observable AAVariance and Standard Deviationσi\sigma_i also denotes Pauli matrices in spin contexts.
Δx Δp≥ℏ/2\Delta x\,\Delta p\ge\hbar/2position-momentum uncertainty relationPosition-Momentum UncertaintyIt is about preparation statistics, not detector disturbance alone.
SymbolDefault Core meaningCanonical pageCommon warning
⊗\otimestensor productTensor ProductsTensor-product ordering must be fixed and used consistently.
HA⊗HB\mathcal H_A\otimes\mathcal H_Bcomposite Hilbert spaceTensor ProductsNot every vector factors into a product state.
∣ψ⟩A∣ϕ⟩B\lvert\psi\rangle_A\lvert\phi\rangle_Bshorthand for a product stateProduct StatesThe subsystem labels are part of the notation, not multiplication of numbers.
ρAB\rho_{AB}joint density operator of systems AA and BBDensity OperatorsThe joint state contains correlations not present in either reduction alone.
Tr⁡BρAB\operatorname{Tr}_B\rho_{AB}partial trace over subsystem BBReduced Density MatricesTracing out a subsystem is not the same as measuring it.
S(ρ)S(\rho)von Neumann entropy when defined in density-operator contextEntropy OverviewSS may also denote action in semiclassical contexts.
SymbolDefault Core meaningCanonical pageCommon warning
SSaction in classical-limit or path-integral contextsClassical LimitAlso used for entropy or spin depending on context.
S/ℏS/\hbardimensionless action phase scaleSemiclassical Limit OverviewThe phrase "ℏ→0\hbar\to0" needs a dimensionless control parameter.
λdB\lambda_{\mathrm{dB}}de Broglie wavelengthClassical LimitSmall wavelength relative to one length scale may not be small relative to another.
⟨E2∣E1⟩\langle E_2\vert E_1\rangleenvironmental-state overlap in simple decoherence modelsDecoherence PreviewSmall overlap suppresses local interference but does not by itself select an outcome.
{q,p}PB\{q,p\}_{\mathrm{PB}}classical Poisson bracketQuantization vs Classical LimitReplacing Poisson brackets by commutators is a guide, not a universal quantization algorithm.
SymbolCollisionHow to resolve it
ρ\rhodensity operator vs probability densityCheck whether ρ\rho is used inside traces or under spatial integrals.
PPprobability vs projectorProjectors usually act on states and may carry labels such as PaP_a.
ppmomentum vs probabilityProbability is usually written p(a)p(a) or P(a)P(a); momentum appears in commutators and Hamiltonians.
SSaction vs entropy vs spinUse the chapter context: classical limit, density operators, or angular momentum.
σ\sigmastandard 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.
UUunitary operator vs potential energy in older notationCore Formalism uses UU mainly for unitary transformations and VV for potentials.
EiE_iPOVM effect vs energy labelMeasurement 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.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.