base/stackbin-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/stackbin_expand.rs (opens in new tab)
Triggers: \stackbin command
Eliminates: \stackbin command
Produces: \mathbin, \mathop, \limits commands

Rewrite patterns#

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

Before

A\stackbin{\circ}{\otimes}B

After this rule

A\mathbin{\mathop{\otimes}\limits^{\circ}}B

Rendering verified with the declared packages.

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/stackrel-expand Expand stackrel to an explicit relation-level stacked operator form.

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

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