base/widehat-to-hat - 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/widehat_to_hat.rs (opens in new tab)
Triggers: \widehat command
Eliminates: \widehat command
Produces: \hat command

Rewrite patterns#

\widehat{#1}\hat{#1}

Examples#

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

Wide accent size drop#

Before

\widehat{AB}

After this rule

\hat{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/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#

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/widehat-to-hat"])

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

Open in Playground