base/leftroot-drop

Level

AuthoringFaithfulCorpusEquivCorpus and Equiv apply this rule; the output is intended for consistent corpus labels.

Fidelity

readingPreserves notation, reading order, and structural roles.

Package

base

Source

base/corpus/root_family/leftroot_drop.rs (opens in new tab)

Triggers

\leftroot command

Eliminates

\leftroot command

Rewrite patterns#

1. \leftroot{#1}∅ removed

Examples#

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

\sqrt[\leftroot{-2}3]{k}

\sqrt[3]{k}

Related rules#

Same family#

• ams/cfrac-to-frac Drop continued-fraction styling from centered AMS cfrac forms.
• ams/dbinom-and-tbinom-to-binom Rewrite AMS display-style and text-style binomial commands to binom.
• ams/dfrac-to-frac Rewrite the AMS display-style fraction command to frac.
• ams/tfrac-to-frac Rewrite the AMS text-style fraction command to frac.
• base/above-to-genfrac Rewrite above to a thickness-preserving genfrac form.
• base/abovewithdelims-to-genfrac Rewrite abovewithdelims to an explicit genfrac with delimiters and thickness.
• base/atop-to-genfrac Rewrite infix atop to an explicit no-rule genfrac form.
• base/atopwithdelims-to-genfrac Rewrite atopwithdelims to an explicit delimited no-rule genfrac form.
• base/brace-to-genfrac Rewrite infix brace to an explicit genfrac with brace delimiters.
• base/brack-to-genfrac Rewrite infix brack to an explicit genfrac with bracket delimiters.
• base/choose-to-binom Rewrite infix choose to an explicit binom command.
• base/over-to-frac Rewrite infix over to an explicit frac command.
• base/overwithdelims-to-genfrac Rewrite overwithdelims to an explicit genfrac with delimiters.
• base/root-of-to-sqrt Rewrite legacy root-of syntax to bracketed sqrt notation.
• base/uproot-drop Drop the uproot index-position hint in cleanup-oriented normalization.

Notes#

AMS-TeX/amsmath root-index nudge, recorded in base following MathJax MoveRoot. MathJax only accepts it inside a root index (the optional degree of \sqrt or the degree of \root ... \of) and turns the integer into mpadded width. Corpus drops the command and its integer argument globally, including misplaced uses that MathJax would reject, so the eliminated-form contract can own cmd:leftroot. Do not encode the offset back into LaTeX. Pixel mismatch on the in-root example is expected: the index content and reading order stay, only placement changes.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/leftroot-drop"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/leftroot-drop'] })

Open in Playground