ams/dfrac-to-frac

Level

AuthoringFaithfulCorpusEquivOnly Equiv applies this rule; its output is intended for comparison.

Fidelity

readingPreserves notation, reading order, and structural roles.

Package

ams

Source

ams/equiv/fraction_style/dfrac_to_frac.rs (opens in new tab)

Triggers

\dfrac command

Eliminates

\dfrac command

Produces

\frac command

Rewrite patterns#

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

Examples#

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

x+\dfrac{1}{2}

x+\frac{1}{2}

x_{\dfrac{1}{2}}

x_{\frac{1}{2}}

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

AMS defines dfrac as genfrac style 0, while frac inherits its surrounding style. The rewrite preserves fraction notation, numerator and denominator roles, and reading order, but dropping forced display style can materially change visible size, especially in scripts or under an explicit math-style declaration. This Reading-fidelity projection is enabled only by Equiv; Authoring, Faithful, and Corpus retain the original command.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["ams/dfrac-to-frac"])

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

Open in Playground