base/duplicate-mathrel-wrapper-drop

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

base

Source

base/authoring/tex_class_wrapper/duplicate_mathrel_wrapper_drop.rs (opens in new tab)

Triggers

\mathrel command

Touches

\mathrel command

Rewrite patterns#

1. \mathrel{\mathrel{#1}}\mathrel{#1}

Examples#

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

a\mathrel{\mathrel{=}}b

a\mathrel{=}b

Related rules#

Upstream rules#

• base/stackrel-expand Expand stackrel to an explicit relation-level stacked operator form.

Same family#

• ams/substack-expand Expand substack directly to the explicit centered subarray environment.
• base/buildrel-to-stackrel Rewrite plain TeX buildrel syntax to stackrel.
• 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.
• base/stackrel-expand Expand stackrel to an explicit relation-level stacked operator form.

Notes#

Match only a direct same-name wrapper whose outer and inner MathContent slots each contain exactly the required structure. Other TeX-class wrappers, mixed wrapper names, extra siblings, and nested structural boundaries remain unchanged. Every Applied result removes one directly nested cmd:mathrel wrapper, so both the wrapper count and duplicate-wrapper nesting depth strictly decrease; non-duplicate shapes return Skipped.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/duplicate-mathrel-wrapper-drop"])

new TransformEngine({ profile: 'corpus', disableRules: ['base/duplicate-mathrel-wrapper-drop'] })

Open in Playground