physics/abs-to-vert-fence

Level

AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.

Fidelity

renderPreserves rendering under the reference renderer.

Package

physics

Source

physics/faithful/delimiter_shorthand/abs_to_vert_fence.rs (opens in new tab)

Triggers

\abs command

Eliminates

\abs command

Produces

\left, \right commands

Rewrite patterns#

1. auto-sized\abs{#1}\left| #1 \right|
2. fixed-size\abs*{#1}| #1 |

Examples#

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

\abs{x-y}<\varepsilon

\left| x-y \right|<\varepsilon

\abs{\frac{x}{y}}=1

\left| \frac{x}{y} \right|=1

\abs*{x-y}<\varepsilon

| x-y |<\varepsilon

Related rules#

Upstream rules#

• physics/absolutevalue-to-abs Collapse absolutevalue to the shorter abs helper before fence expansion.

Same family#

• base/Big-class-variants-to-Big Collapse \Bigl, \Bigr, \Bigm to \Big.
• base/Bigg-class-variants-to-Bigg Collapse \Biggl, \Biggr, \Biggm to \Bigg.
• base/big-class-variants-to-big Collapse \bigl, \bigr, \bigm to \big.
• base/bigg-class-variants-to-bigg Collapse \biggl, \biggr, \biggm to \bigg.
• base/Big-delimiter-size-drop Drop the fixed delimiter size imposed by \Big.
• base/Bigg-delimiter-size-drop Drop the fixed delimiter size imposed by \Bigg.
• base/big-delimiter-size-drop Drop the fixed delimiter size imposed by \big.
• base/bigg-delimiter-size-drop Drop the fixed delimiter size imposed by \bigg.
• physics/absolutevalue-to-abs Collapse absolutevalue to the shorter abs helper before fence expansion.
• physics/evaluated-to-eval Collapse evaluated to the shorter eval helper before eval expansion.
• physics/quantity-to-qty Collapse quantity to the shorter qty helper.
• physics/Bqty-to-brace-fence Rewrite Bqty to explicit brace fences.
• physics/bqty-to-bracket-fence Rewrite bqty to explicit bracket fences.
• physics/norm-to-double-vert-fence Rewrite norm to explicit double-vertical-bar fences.
• physics/pqty-to-paren-fence Rewrite pqty to explicit parenthesis fences.
• physics/eval-expand Expand eval notation to the explicit fence-and-bar form.

Notes#

The star branch is the fixed-size form emitted by physics Quantity for braced arguments.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["physics/abs-to-vert-fence"])

new TransformEngine({ profile: 'corpus', disableRules: ['physics/abs-to-vert-fence'] })

Open in Playground