physics/physics-braket-expand

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/faithful/bra_ket/physics_braket_expand.rs (opens in new tab)

Triggers

\braket command

Eliminates

\braket command

Produces

\left, \middle, \right commands

Rewrite patterns#

1. braket-two-arg-auto-sized\braket{#1}{#2}\left\langle #1 \middle\vert #2 \right\rangle
2. braket-two-arg-fixed-size\braket*{#1}{#2}\langle #1 \vert #2 \rangle
3. braket-single-arg-auto-sized\braket{#1}\left\langle #1 \middle\vert #1 \right\rangle
4. braket-single-arg-fixed-size\braket*{#1}\langle #1 \vert #1 \rangle

Examples#

Each example shows this rule applied in isolation. A complete normalization profile may make additional changes.

\braket{\psi_n}{\psi_m}=\delta_{nm}

\left\langle \psi_n \middle\vert \psi_m \right\rangle=\delta_{nm}

N=\braket{\psi}

N=\left\langle \psi \middle\vert \psi \right\rangle

\braket*{u}{v}=0

\langle u \vert v \rangle=0

Related rules#

Same family#

• physics/expectation-expand Expand expectation-value helpers to explicit angle brackets.
• physics/matrixel-expand Expand matrix elements to explicit angle-bracket and bar fences.
• physics/physics-bra-expand Expand bra to an explicit angle-bracket and bar fence form.
• physics/physics-ket-expand Expand ket to an explicit bar and angle-bracket fence form.
• physics/commutator-expand Expand commutators to explicit square-bracket fences.
• physics/poisson-bracket-expand Expand poisson brackets to explicit brace fences.

Notes#

Covers physics single-argument and two-argument forms. In physics, the single-argument form repeats the argument on both sides; the braket package single-argument bar parser is package-specific and should remain separate from the physics transform.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/physics-braket-expand"])

new TransformEngine({ profile: 'corpus', disableRules: ['physics/physics-braket-expand'] })

Open in Playground