base/root-of-to-sqrt

Level

AuthoringFaithfulCorpusEquivEvery profile applies this rule; its output remains suitable for authoring.

Fidelity

renderPreserves rendering under the reference renderer.

Package

base

Source

base/authoring/root_family/root_of_to_sqrt.rs (opens in new tab)

Triggers

\root command

Eliminates

\root command

Produces

\sqrt command

Rewrite patterns#

1. degree\root #1 \of #2\sqrt[#1]{#2}
2. empty-degree\root\of #1\sqrt[]{#1}

Examples#

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

\root 1+2 \of {x+y}

\sqrt[1+2]{x+y}

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/leftroot-drop Drop the leftroot index-position hint in cleanup-oriented normalization.
• base/uproot-drop Drop the uproot index-position hint in cleanup-oriented normalization.

Notes#

Consume the two parser-owned argument slots from root argspec u{\of} m: a mathematical degree terminated by \of, followed by one radicand argument. The degree may be empty or contain unbraced scripts and nested groups. As for a TeX delimited parameter, a degree that is exactly one braced group loses that brace layer at parse time, so \root{1+2}\of x and \root 1+2\of x are the same AST. The \of terminator is ArgumentKind::Until delimiter metadata, not a sibling Command node, so touches is empty. Preserve outer scripts and trailing radicand siblings.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/root-of-to-sqrt"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/root-of-to-sqrt'] })

Open in Playground