base/atop-to-genfrac

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/atop_to_genfrac.rs (opens in new tab)

Triggers

\atop command

Eliminates

\atop command

Produces

\genfrac command

Rewrite patterns#

1. #1 \atop #2\genfrac{}{}{0pt}{}{#1}{#2}

Examples#

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

x_1+\cdots+x_m \atop y_1y_2\cdots y_n

\genfrac{}{}{0pt}{}{x_1+\cdots+x_m}{y_1y_2\cdots y_n}

\sum_{i \atop i\ne j} a_i

\sum_{\genfrac{}{}{0pt}{}{i}{i\ne j}} a_i

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

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/atop-to-genfrac"])

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

Open in Playground