physics/physics-bra-expand

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

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

Triggers

\bra command

Eliminates

\bra command

Produces

\left, \right commands

Rewrite patterns#

1. bra-auto-sized\bra{#1}\left\langle #1 \right\vert
2. bra-fixed-size\bra*{#1}\langle #1 \vert

Examples#

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

\bra{\psi} H

\left\langle \psi \right\vert H

\bra*{\psi} H

\langle \psi \vert H

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-braket-expand Expand braket to an explicit angle-bracket form with a middle bar.
• 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 the physics star branch, where star suppresses automatic fence sizing. The parser-level branch that merges an immediately following ket is outside this rule’s single-command rewrite.

Disable this rule#

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

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

Open in Playground