Rewrite Rulesphysics/physics-ket-expand

physics/physics-ket-expand

Expand ket to an explicit bar and angle-bracket fence form.

Rewrite patterns#

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

Examples#

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

ket eigenvalue#

Before

H\ket{\psi}=E\ket{\psi}

After this rule

H\left\vert \psi \right\rangle=E\left\vert \psi \right\rangle

Rendering verified with the declared packages.

ket star fixed size#

Before

H\ket*{\psi}=E\ket*{\psi}

After this rule

H\vert \psi \rangle=E\vert \psi \rangle

Rendering verified with the declared packages.

Same family#

Notes#

Covers the physics star branch, where star suppresses automatic fence sizing.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/physics-ket-expand"])
new TransformEngine({ profile: 'corpus', disableRules: ['physics/physics-ket-expand'] })

Open in Playground