physics/matrixel-expand

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

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

Triggers

\matrixel command

Eliminates

\matrixel command

Produces

\left, \middle, \right commands

Rewrite patterns#

1. matrixel-auto-sized\matrixel{#1}{#2}{#3}\left\langle #1 \right\vert #2 \left\vert #3 \right\rangle
2. matrixel-fixed-size\matrixel*{#1}{#2}{#3}\langle #1 \vert #2 \vert #3 \rangle
3. matrixel-middle-sized\matrixel**{#1}{#2}{#3}\left\langle #1 \middle\vert #2 \middle\vert #3 \right\rangle

Examples#

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

\matrixel{n}{\hat{x}}{m}=x_{nm}

\left\langle n \right\vert \hat{x} \left\vert m \right\rangle=x_{nm}

\matrixel*{n}{\hat{x}}{m}

\langle n \vert \hat{x} \vert m \rangle

\matrixel**{n}{\hat{x}}{m}

\left\langle n \middle\vert \hat{x} \middle\vert m \right\rangle

Related rules#

Same family#

• physics/expectation-expand Expand expectation-value helpers to explicit angle brackets.
• physics/physics-bra-expand Expand bra to an explicit angle-bracket and bar fence form.
• 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 both star levels from the shared braket output helper: single star suppresses automatic sizing, double star uses middle bars with outer automatic fences.

Disable this rule#

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

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

Open in Playground