Central Potentials & Orbital Angular Momentum

One dimension was training. Real atoms are three-dimensional, and the force an electron feels from a nucleus depends only on distance — a central potential. That symmetry splits the Schrödinger equation into a radial problem and a universal angular one, solved by the same ladder trick that cracked the harmonic oscillator — now climbing angular momentum instead of energy. A cat circling a warm laptop conserves $\mathbf L$; so does an electron circling a proton — but only the electron's comes in steps of $\hbar$.

Learning Objectives

After this lesson you will be able to:

1. Separate variables in the 3D Schrödinger equation for a central potential $V(r)$, identifying the separation constant $\ell(\ell+1)$.
2. Derive the commutator algebra $[\hat L_x,\hat L_y] = i\hbar\hat L_z$ from the canonical commutators and recognize its classical shadow, the Poisson bracket $\{L_x,L_y\} = L_z$.
3. Construct the ladder operators $\hat L_\pm$ and derive the eigenvalues of $\hat L^2$ and $\hat L_z$ purely algebraically.
4. Explain why orbital angular momentum requires integer $\ell$, while the algebra alone also permits half-integer values.
5. Use the spherical harmonics $Y_\ell^m$ — eigenvalue equations, orthonormality, the $2\ell+1$ degeneracy — and critique the vector model via $\langle L_x^2 + L_y^2\rangle > 0$.

---

Intuition

Classically a central force exerts no torque, so $\mathbf L = \mathbf r\times\mathbf p$ is conserved and orbits flatten into planes (P.1.3 Hamiltonian Mechanics). Quantum mechanics inherits the structure: rotational symmetry peels the angular dependence off the wavefunction once and for all — the angular factors are the same for hydrogen, a 3D oscillator, any $V(r)$. But there is a twist: classically $L_x, L_y, L_z$ are three numbers and you may know them all; quantum mechanically they are noncommuting operators — you may know the length $|\mathbf L|$ and one component, and the other two are then irreducibly indeterminate. The entire spectrum follows from the commutators alone, by the ladder logic of P.5.3 The Harmonic Oscillator.

---

Theory

Separation of variables in a central potential

The 3D time-independent Schrödinger equation is $-\frac{\hbar^2}{2m}\nabla^2\psi + V\psi = E\psi$. For $V = V(r)$ use spherical coordinates, with the Laplacian (a standard chain-rule exercise, quoted):

$$\nabla^2 = \frac{1}{r^2}\frac{\partial}{\partial r}\!\left(r^2\frac{\partial}{\partial r}\right) + \frac{1}{r^2\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\,\frac{\partial}{\partial\theta}\right) + \frac{1}{r^2\sin^2\theta}\frac{\partial^2}{\partial\varphi^2}.$$

Try $\psi(r,\theta,\varphi) = R(r)\,Y(\theta,\varphi)$; substitute and multiply by $-\frac{2mr^2}{\hbar^2}\frac{1}{RY}$:

$$\underbrace{\left\{\frac{1}{R}\frac{d}{dr}\!\left(r^2\frac{dR}{dr}\right) - \frac{2mr^2}{\hbar^2}\bigl[V(r)-E\bigr]\right\}}_{\text{depends only on } r} + \underbrace{\frac{1}{Y}\left\{\frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\,\frac{\partial Y}{\partial\theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2 Y}{\partial\varphi^2}\right\}}_{\text{depends only on } \theta,\varphi} = 0 .$$

A function of $r$ plus a function of $(\theta,\varphi)$ vanishes identically only if each is constant; write the constant — with foresight — as $\ell(\ell+1)$. The radial piece keeps $V(r)$ and is deferred to P.6.2; the angular piece,

$$\frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\,\frac{\partial Y}{\partial\theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2 Y}{\partial\varphi^2} = -\ell(\ell+1)\,Y ,$$

is universal — and, as we now show, it is the eigenvalue problem of angular momentum.

The angular momentum operators and their algebra

Quantizing $\mathbf L = \mathbf r\times\mathbf p$ gives $\hat{\mathbf L} = \hat{\mathbf r}\times\hat{\mathbf p}$, with components $\hat L_x = \hat y\hat p_z - \hat z\hat p_y$, $\hat L_y = \hat z\hat p_x - \hat x\hat p_z$, $\hat L_z = \hat x\hat p_y - \hat y\hat p_x$ (no ordering ambiguity: each product pairs a coordinate with a different momentum component). Using $[\hat x_i,\hat p_j] = i\hbar\delta_{ij}$, expand $[\hat L_x,\hat L_y]$ into four brackets; $[\hat y\hat p_z,\hat x\hat p_z]$ and $[\hat z\hat p_y,\hat z\hat p_x]$ contain only mutually commuting factors and vanish, leaving

$$[\hat L_x,\hat L_y] = [\hat y\hat p_z,\hat z\hat p_x] + [\hat z\hat p_y,\hat x\hat p_z] = \hat y\,[\hat p_z,\hat z]\,\hat p_x + \hat x\,[\hat z,\hat p_z]\,\hat p_y = i\hbar\,(\hat x\hat p_y - \hat y\hat p_x) = i\hbar\,\hat L_z ,$$

and cyclically $[\hat L_y,\hat L_z] = i\hbar\hat L_x$, $[\hat L_z,\hat L_x] = i\hbar\hat L_y$. This mirrors the classical Poisson bracket $\{L_x,L_y\} = L_z$ computed in P.1.3 Hamiltonian Mechanics via Dirac's rule $\{\cdot,\cdot\}\to[\cdot,\cdot]/i\hbar$ — the algebra of rotations was there all along.

No two components commute, so no common eigenbasis exists: $L_x$ and $L_z$ cannot both be sharp (the uncertainty relation behind this is developed in 1.3.2 Expectation & Uncertainty). But $\hat L^2 = \hat L_x^2 + \hat L_y^2 + \hat L_z^2$ commutes with every component: using $[\hat A^2,\hat B] = \hat A[\hat A,\hat B] + [\hat A,\hat B]\hat A$,

$$[\hat L^2,\hat L_z] = -i\hbar(\hat L_x\hat L_y + \hat L_y\hat L_x) + i\hbar(\hat L_y\hat L_x + \hat L_x\hat L_y) + 0 = 0 ,$$

so $\hat L^2$ and $\hat L_z$ do share simultaneous eigenfunctions — the maximal sharp angular data. In spherical coordinates (a rotation about $z$ changes only $\varphi$, so $\partial_\varphi = x\partial_y - y\partial_x$):

$$\hat L_z = -i\hbar\frac{\partial}{\partial\varphi}, \qquad \hat L^2 = -\hbar^2\left[\frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\!\left(\sin\theta\,\frac{\partial}{\partial\theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2}{\partial\varphi^2}\right],$$

so the angular equation above is $\hat L^2 Y = \hbar^2\ell(\ell+1)\,Y$.

Ladder operators: the spectrum from pure algebra

In perfect analogy with the $\hat a_\pm$ of P.5.3, define $\hat L_\pm \equiv \hat L_x \pm i\hat L_y$. Then $[\hat L^2,\hat L_\pm] = 0$, and

$$[\hat L_z,\hat L_\pm] = [\hat L_z,\hat L_x] \pm i[\hat L_z,\hat L_y] = i\hbar\hat L_y \pm i(-i\hbar\hat L_x) = \pm\hbar\,\hat L_\pm .$$

Let $\lvert\lambda,\mu\rangle$ satisfy $\hat L^2\lvert\lambda,\mu\rangle = \lambda\lvert\lambda,\mu\rangle$ and $\hat L_z\lvert\lambda,\mu\rangle = \mu\lvert\lambda,\mu\rangle$. Then $\hat L_z(\hat L_\pm\lvert\lambda,\mu\rangle) = (\hat L_\pm\hat L_z \pm \hbar\hat L_\pm)\lvert\lambda,\mu\rangle = (\mu\pm\hbar)\,\hat L_\pm\lvert\lambda,\mu\rangle$ while $\hat L^2(\hat L_\pm\lvert\lambda,\mu\rangle) = \lambda\,\hat L_\pm\lvert\lambda,\mu\rangle$: a ladder in $L_z$, steps of $\hbar$, fixed total length. It is bounded, since $\lambda - \mu^2 = \langle\hat L_x^2 + \hat L_y^2\rangle = \lVert\hat L_x\lvert\lambda,\mu\rangle\rVert^2 + \lVert\hat L_y\lvert\lambda,\mu\rangle\rVert^2 \ge 0$. So there is a top rung, $\hat L_+\lvert\lambda,\mu_{\max}\rangle = 0$ with $\mu_{\max} \equiv \hbar\ell$. Expanding $\hat L_\mp\hat L_\pm = \hat L_x^2 + \hat L_y^2 \pm i[\hat L_x,\hat L_y] = \hat L^2 - \hat L_z^2 \mp \hbar\hat L_z$ and applying $\hat L_-\hat L_+$ to the top rung: $0 = \lambda - \hbar^2\ell^2 - \hbar^2\ell$, i.e. $\lambda = \hbar^2\ell(\ell+1)$. Likewise a bottom rung $\hbar\bar\ell$ gives $\lambda = \hbar^2\bar\ell(\bar\ell - 1)$, so $\bar\ell = -\ell$ (the root $\ell+1$ would put the bottom above the top). Descending from $\hbar\ell$ to $-\hbar\ell$ in steps of $\hbar$ requires $2\ell$ to be a non-negative integer:

$$\hat L^2 \to \hbar^2\ell(\ell+1), \qquad \hat L_z \to \hbar m, \qquad m = -\ell, \dots, \ell \ \ (\text{integer steps}), \qquad \ell = 0, \tfrac12, 1, \tfrac32, \dots$$

The commutators alone — no wavefunctions, no boundary conditions — fixed the entire spectrum, and they permit both integer and half-integer $\ell$.

The differential route: why orbital $\ell$ is an integer

For angular momentum realized as $-i\hbar\,\mathbf r\times\nabla$ on wavefunctions, more is true. Solving $\hat L_z\Phi = \hbar m\Phi$ gives $\Phi = e^{im\varphi}$; but $\varphi$ and $\varphi + 2\pi$ label the same point of space, and single-valuedness $e^{im(\varphi + 2\pi)} = e^{im\varphi}$ forces $m \in \mathbb Z$ — hence integer $\ell$ for orbital angular momentum. The half-integer solutions are not garbage: they describe angular momentum that is not motion through space — no $\varphi$, no constraint. That loophole stays open until the Stern–Gerlach experiment forces us through it in P.6.3 Magnetic Moments, Stern–Gerlach & Spin.

Spherical harmonics

The normalized simultaneous eigenfunctions of $\hat L^2$ and $\hat L_z$ are the spherical harmonics, built from the associated Legendre functions $P_\ell^m$:

$$Y_\ell^m(\theta,\varphi) = (-1)^m\sqrt{\frac{2\ell+1}{4\pi}\frac{(\ell-m)!}{(\ell+m)!}}\, P_\ell^m(\cos\theta)\,e^{im\varphi} \quad (m\ge0;\; Y_\ell^{-m} = (-1)^mY_\ell^{m*}).$$

$\ell$	$m$	$Y_\ell^m(\theta,\varphi)$
0	0	$\sqrt{1/4\pi}$
1	0	$\sqrt{3/4\pi}\,\cos\theta$
1	$\pm1$	$\mp\sqrt{3/8\pi}\,\sin\theta\,e^{\pm i\varphi}$
2	0	$\sqrt{5/16\pi}\,(3\cos^2\theta - 1)$
2	$\pm1$	$\mp\sqrt{15/8\pi}\,\sin\theta\cos\theta\,e^{\pm i\varphi}$
2	$\pm2$	$\sqrt{15/32\pi}\,\sin^2\theta\,e^{\pm2i\varphi}$

They are orthonormal on the sphere — $\int_0^{2\pi}\!\int_0^{\pi} Y_{\ell'}^{m'*}\,Y_\ell^m\,\sin\theta\,d\theta\,d\varphi = \delta_{\ell\ell'}\delta_{mm'}$ — and complete. For each $\ell$ there are $2\ell+1$ values of $m$ with the same $\hat L^2$ eigenvalue: a degeneracy every central potential inherits, since energy cannot depend on the orientation of $\mathbf L$ when the potential has no preferred direction.

The vector model and its limits

A common mnemonic draws $\mathbf L$ as an arrow of length $\hbar\sqrt{\ell(\ell+1)}$ on a cone about $z$, with fixed projection $\hbar m$ and smeared azimuth. The cone's opening is real physics:

$$\langle L_x^2 + L_y^2\rangle = \langle\hat L^2 - \hat L_z^2\rangle = \hbar^2\bigl[\ell(\ell+1) - m^2\bigr] > 0 \quad\text{for } \ell > 0 ,$$

even at $m = \ell$ (where it equals $\hbar^2\ell$): $\mathbf L$ never points exactly along $z$, tilting at best to $\cos\theta_{\min} = \ell/\sqrt{\ell(\ell+1)} < 1$. But don't take the cone literally — nothing secretly precesses at a hidden azimuth.

Caution. $|\mathbf L| = \hbar\sqrt{\ell(\ell+1)} > \hbar\ell \ge \hbar m$. The Bohr-era phrase "the angular momentum is $\ell\hbar$" is shorthand and strictly false — the length exceeds the largest projection, which is exactly why $\mathbf L$ can never align with an axis. And a state with definite $L_z$ has indeterminate $L_x$ and $L_y$: not unknown values — no values.

---

Worked Examples

Example 1 — Sizing up $\ell = 2$

$|\mathbf L| = \hbar\sqrt{2\cdot3} = \sqrt6\,\hbar \approx 2.449\,\hbar$, with five projections $L_z = m\hbar$, $m\in\{-2,\dots,2\}$. Even at $m = 2$ the vector tilts off-axis by $\cos\theta = 2/\sqrt6 = 0.8165$, i.e. $\theta \approx 35.3^\circ$, with transverse spread $\langle L_x^2 + L_y^2\rangle = \hbar^2(6-4) = 2\hbar^2$. The largest projection $2\hbar$ never reaches the length $2.449\,\hbar$.

Example 2 — $Y_1^0$ through the machinery

$Y_1^0 = \sqrt{3/4\pi}\cos\theta$ has no $\varphi$-dependence, so $\hat L_zY_1^0 = 0$: $m = 0$. ✓ For $\hat L^2$ (the $\varphi$ term drops):

$$\frac{1}{\sin\theta}\frac{d}{d\theta}\!\left(\sin\theta\,\frac{d\cos\theta}{d\theta}\right) = \frac{1}{\sin\theta}\frac{d}{d\theta}\bigl(-\sin^2\theta\bigr) = -2\cos\theta ,$$

so $\hat L^2Y_1^0 = 2\hbar^2\,Y_1^0 = \hbar^2\ell(\ell+1)Y_1^0$ with $\ell = 1$. ✓ Lowering with $\hat L_- = -\hbar e^{-i\varphi}(\partial_\theta - i\cot\theta\,\partial_\varphi)$: $\hat L_-Y_1^0 = \hbar\sqrt{3/4\pi}\,\sin\theta\,e^{-i\varphi} = \hbar\sqrt2\,Y_1^{-1}$, with coefficient exactly $\hbar\sqrt{\ell(\ell+1) - m(m-1)} = \hbar\sqrt2$ — the ladder in action.

---

Hands-on (Python)

Visualize $|Y_\ell^m|^2$ for $\ell = 0,1,2$ as polar surface plots (radius = magnitude):

import numpy as np
import matplotlib.pyplot as plt
from scipy.special import sph_harm

# NOTE scipy's argument order/naming: sph_harm(m, l, azimuthal, polar).
polar = np.linspace(0, np.pi, 101)          # theta in physics texts
azim  = np.linspace(0, 2*np.pi, 201)        # varphi in physics texts
TH, PH = np.meshgrid(polar, azim)

fig = plt.figure(figsize=(13, 8))
for l in range(3):
    for m in range(-l, l + 1):
        rad = np.abs(sph_harm(m, l, PH, TH))**2          # radius = |Y_l^m|^2
        X, Y, Z = (rad*np.sin(TH)*np.cos(PH), rad*np.sin(TH)*np.sin(PH), rad*np.cos(TH))
        ax = fig.add_subplot(3, 5, 5*l + m + 3, projection='3d')  # center each row
        ax.plot_surface(X, Y, Z, cmap='viridis', rstride=2, cstride=2)
        ax.set_title(f"$\\ell={l},\\ m={m}$"); ax.set_axis_off()
plt.tight_layout(); plt.show()
# Expect: l=0 a sphere; l=1 dumbbells (m=0 along z, |m|=1 donuts); l=2 the
# donut/dumbbell family. |Y|^2 is always symmetric about the z-axis.

Verify orthonormality $\int Y_{\ell'}^{m'*}Y_\ell^m\,d\Omega = \delta_{\ell\ell'}\delta_{mm'}$ by 2D quadrature:

def overlap(l1, m1, l2, m2, n_th=400, n_ph=800):
    th, ph = np.linspace(0, np.pi, n_th), np.linspace(0, 2*np.pi, n_ph)
    TH, PH = np.meshgrid(th, ph, indexing='ij')
    f = np.conj(sph_harm(m1, l1, PH, TH))*sph_harm(m2, l2, PH, TH)*np.sin(TH)
    return np.trapezoid(np.trapezoid(f, ph, axis=1), th)   # np.trapz on older NumPy

labels = [(l, m) for l in range(3) for m in range(-l, l + 1)]   # 9 states
G = np.array([[overlap(*a, *b) for b in labels] for a in labels])
print(np.max(np.abs(G - np.eye(9))))   # ~1e-6: Gram matrix = identity

---

Exercises

E1 (easy). For $\ell = 3$: how many $m$ values? Compute $|\mathbf L|$ and the smallest possible angle between $\mathbf L$ and the $z$-axis.

Solution

$2\ell+1 = 7$ values, $m = -3,\dots,3$; $|\mathbf L| = \hbar\sqrt{12} = 2\sqrt3\,\hbar \approx 3.464\,\hbar$. At $m = 3$: $\cos\theta = 3/\sqrt{12} = \sqrt3/2$, so $\theta = 30^\circ$ exactly.

E2 (easy). Derive $[\hat L_z,\hat L_x] = i\hbar\hat L_y$ (a) directly from the canonical commutators, (b) by cyclic relabeling.

Solution

(a) $[\hat x\hat p_y - \hat y\hat p_x,\ \hat y\hat p_z - \hat z\hat p_y]$ has nonvanishing pieces $[\hat x\hat p_y,\hat y\hat p_z] = \hat x[\hat p_y,\hat y]\hat p_z = -i\hbar\hat x\hat p_z$ and $[\hat y\hat p_x,\hat z\hat p_y] = \hat z\hat p_x[\hat y,\hat p_y] = i\hbar\hat z\hat p_x$; sum $= i\hbar(\hat z\hat p_x - \hat x\hat p_z) = i\hbar\hat L_y$. (b) $x\to y\to z\to x$ preserves $[\hat x_i,\hat p_j] = i\hbar\delta_{ij}$ and maps $\hat L_x\to\hat L_y\to\hat L_z\to\hat L_x$, carrying $[\hat L_x,\hat L_y] = i\hbar\hat L_z$ into the other two identities.

E3 (medium). Prove $\hat L_\mp\hat L_\pm = \hat L^2 - \hat L_z^2 \mp \hbar\hat L_z$ and deduce $\hat L_\pm\lvert \ell,m\rangle = \hbar\sqrt{\ell(\ell+1) - m(m\pm1)}\,\lvert \ell,m\pm1\rangle$.

Solution

$(\hat L_x \mp i\hat L_y)(\hat L_x \pm i\hat L_y) = \hat L_x^2 + \hat L_y^2 \pm i[\hat L_x,\hat L_y] = \hat L^2 - \hat L_z^2 \mp \hbar\hat L_z$. Then $\lVert\hat L_\pm\lvert \ell,m\rangle\rVert^2 = \langle \ell,m\rvert\hat L_\mp\hat L_\pm\lvert \ell,m\rangle = \hbar^2[\ell(\ell+1) - m(m\pm1)]$; the standard positive phase gives the stated coefficient, which vanishes at $m = \pm\ell$: the ladder terminates itself.

E4 (medium). By explicit integration, verify that $Y_1^1$ is normalized and orthogonal to $Y_1^0$.

Solution

$\int|Y_1^1|^2d\Omega = \frac{3}{8\pi}\cdot2\pi\int_0^\pi\sin^3\theta\,d\theta = \frac{3}{8\pi}\cdot2\pi\cdot\frac43 = 1$ ✓. Orthogonality: $\int Y_1^{0*}Y_1^1\,d\Omega \propto \int_0^{2\pi}e^{i\varphi}d\varphi = 0$ — the azimuthal integral kills any pair with $m\ne m'$. ✓

E5 (hard). In $\lvert \ell,m\rangle$, show $\langle L_x\rangle = \langle L_y\rangle = 0$ and $\langle L_x^2\rangle = \langle L_y^2\rangle = \tfrac{\hbar^2}{2}[\ell(\ell+1) - m^2]$, then verify $\Delta L_x\,\Delta L_y \ge \tfrac\hbar2|\langle L_z\rangle|$.

Solution

$\hat L_x = \tfrac12(\hat L_+ + \hat L_-)$ maps $\lvert \ell,m\rangle$ to orthogonal states, so $\langle L_x\rangle = 0$ (same for $L_y$). In $\hat L_x^2 = \tfrac14(\hat L_+^2 + \hat L_-^2 + \hat L_+\hat L_- + \hat L_-\hat L_+)$ the $\hat L_\pm^2$ terms shift $m$ by $\pm2$ and drop; E3 gives $\langle\hat L_+\hat L_- + \hat L_-\hat L_+\rangle = 2\hbar^2[\ell(\ell+1) - m^2]$, so $\langle L_x^2\rangle = \langle L_y^2\rangle = \tfrac{\hbar^2}{2}[\ell(\ell+1) - m^2]$. Then $\Delta L_x\Delta L_y \ge \tfrac{\hbar^2}{2}|m| \iff \ell(\ell+1) \ge |m|(|m|+1)$, true since $\ell \ge |m|$ — with equality at $m = \pm\ell$: the end rungs are minimum-uncertainty states.

---

Checkpoint

1. In $\psi = R\,Y$, what is the separation constant, and what operator equation does $Y$ satisfy?
2. State $[\hat L_x,\hat L_y]$ and its classical counterpart. What rule connects them?
3. Why do $\hat L^2$ and $\hat L_z$ share eigenfunctions while $\hat L_x$ and $\hat L_z$ do not?
4. Which step of which argument restricts orbital $\ell$ to integers — and why doesn't it bind spin?
5. Why can $\mathbf L$ never point exactly along the $z$-axis for $\ell > 0$?

Answers

1. $\ell(\ell+1)$; the angular equation is $\hat L^2Y = \hbar^2\ell(\ell+1)Y$.
2. $[\hat L_x,\hat L_y] = i\hbar\hat L_z$, mirroring $\{L_x,L_y\} = L_z$ via Dirac's rule $\{\cdot,\cdot\}\to[\cdot,\cdot]/i\hbar$.
3. $[\hat L^2,\hat L_z] = 0$ guarantees a common eigenbasis; $[\hat L_x,\hat L_z] = -i\hbar\hat L_y \ne 0$ forbids one.
4. Single-valuedness of $e^{im\varphi}$ under $\varphi\to\varphi+2\pi$ in the differential realization forces $m\in\mathbb Z$. Spin is not a function of spatial angles, so the constraint never applies — the algebra's half-integers survive.
5. $|\mathbf L| = \hbar\sqrt{\ell(\ell+1)}$ strictly exceeds the largest projection $\hbar\ell$; equivalently $\langle L_x^2 + L_y^2\rangle = \hbar^2[\ell(\ell+1) - m^2] > 0$.

---

Further Reading

• [Gri] Griffiths & Schroeter, §4.1 — separation of variables and the angular equation; this lesson's conventions.
• [Gri] Griffiths & Schroeter, §4.3 — the algebraic theory of angular momentum; our ladder derivation follows it closely.
• [Sha] Shankar, Ch. 12 — angular momentum from rotational symmetry; the algebra as the group theory of rotations.
• [ER] Eisberg & Resnick, Ch. 7 — quantum numbers with the experimental context of one-electron atoms.

---

← Prev: The Harmonic Oscillator · Up: Pre-Term · Next: The Radial Equation & the Hydrogen Atom →