base/widetilde-to-tilde - TeXForm rewrite rule

Level: AuthoringFaithfulCorpusEquivOnly Equiv applies this rule; its output is intended for comparison.
Fidelity: mathPreserves mathematical meaning over the declared input domain.
Package: base
Source: base/equiv/accent_size/widetilde_to_tilde.rs (opens in new tab)
Triggers: \widetilde command
Eliminates: \widetilde command
Produces: \tilde command

Rewrite patterns#

\widetilde{#1}\tilde{#1}

Examples#

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

Wide accent size drop#

Before

\widetilde{AB}

After this rule

\tilde{AB}

The rendered result has pixel differences from the input.

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

The wide and short forms retain the same accent identity and mathematical attachment to the same body. For an arbitrary multi-symbol body, however, the wide extent is a visible scope cue; replacing it with a short accent can weaken readability and make the intended span less apparent. The rule therefore first enters Equiv and claims only Math fidelity.

Disable this rule#

TransformEngine(profile="corpus", disable_rules=["base/widetilde-to-tilde"])

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

Open in Playground