base/stackrel-expand - TeXForm rewrite rule

Level: AuthoringFaithfulCorpusEquivFaithful, Corpus, and Equiv apply this rule.
Fidelity: renderPreserves rendering under the reference renderer.
Package: base
Source: base/faithful/stacked_operator/stackrel_expand.rs (opens in new tab)
Triggers: \stackrel command
Eliminates: \stackrel command
Produces: \mathrel, \mathop, \limits commands

Rewrite patterns#

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

Before

a\stackrel{?}{\le}b

After this rule

a\mathrel{\mathop{\le}\limits^{?}}b

Rendering verified with the declared packages.

base/duplicate-mathrel-wrapper-drop Drop one directly nested duplicate mathrel wrapper.
base/limits-drop Drop explicit limits from an audited operator while preserving attached scripts.

ams/substack-expand Expand substack directly to the explicit centered subarray environment.
base/buildrel-to-stackrel Rewrite plain TeX buildrel syntax to stackrel.
base/duplicate-mathrel-wrapper-drop Drop one directly nested duplicate mathrel wrapper.
base/widehat-to-hat Drop stretchiness from \widehat by rewriting it to \hat.
base/widetilde-to-tilde Drop stretchiness from \widetilde by rewriting it to \tilde.
base/stackbin-expand Expand stackbin to an explicit binary-level stacked operator form.

TransformEngine(profile="corpus", disable_rules=["base/stackrel-expand"])

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