base/over-to-frac

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

base

Source

base/authoring/over_family/over_to_frac.rs (opens in new tab)

Triggers

\over command

Eliminates

\over command

Produces

\frac command

Rewrite patterns#

1. #1 \over #2\frac{#1}{#2}

Examples#

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

(x_1+\cdots+x_m)^2 \over \sum_{j=1}^{n}(y_j^2+1)

\frac{(x_1+\cdots+x_m)^2}{\sum_{j=1}^{n}(y_j^2+1)}

1+{a+b \over c+d}

1+\frac{a+b}{c+d}

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/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/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.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/over-to-frac"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/over-to-frac'] })

Open in Playground