base/control-space-to-tilde

Level

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

Fidelity

renderPreserves rendering under the reference renderer.

Package

base

Source

base/authoring/spacing_alias/control_space_to_tilde.rs (opens in new tab)

Triggers

\ command

Touches

\ command

Rewrite patterns#

1. \ ~

Examples#

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

a\ b

a~b

\text{A\ B}

\text{A\ B}

Related rules#

Same family#

• ams/nobreakspace-to-tilde Collapse nobreakspace to the canonical nonbreaking space token.
• base/break-to-linebreak Collapse break to the explicit linebreak command.
• base/newline-to-linebreak Collapse newline to the explicit linebreak command.
• base/gt-space-to-colon-space Collapse \> to the canonical medium math space command \:
• base/hfil-to-hfill Collapse hfil to the canonical hfill command under MathJax spacing semantics.
• base/hfilll-to-hfill Collapse hfilll to the canonical hfill command.
• base/hskip-to-hspace Collapse hskip to the explicit hspace command.
• base/negthinspace-to-neg-comma-space Collapse negthinspace to the explicit negative thin math space command.
• base/space-to-tilde Collapse space to the explicit nonbreaking space token.
• base/thinspace-to-comma-space Collapse thinspace to the explicit thin math space command.
• base/double-enspace-to-quad Rewrite two adjacent enspaces to one exact-width quad.
• base/double-quad-to-qquad Merge two adjacent quads into one qquad for authoring normalization.
• base/small-spacer-merge-to-enspace Merge exact half-em small-spacer chunks into enspace in one pass.
• base/allowbreak-drop Drop allowbreak as a pure linebreak hint during cleanup-oriented normalization.
• base/badbreak-drop Drop badbreak as a pure linebreak hint during cleanup-oriented normalization.
• base/goodbreak-drop Drop goodbreak as a pure linebreak hint during cleanup-oriented normalization.
• base/mathstrut-drop Drop the invisible mathstrut layout helper in cleanup-oriented normalization.
• base/nobreak-drop Drop nobreak as a pure linebreak hint during cleanup-oriented normalization.
• base/strut-drop Drop the fixed empty strut node in cleanup-oriented normalization.
• base/enspace-drop Drop enspace in math mode and collapse each text-mode enspace run to one ordinary space.
• base/qquad-drop Drop qquad in math mode and collapse each text-mode qquad run to one ordinary space.
• base/quad-drop Drop quad in math mode and collapse each text-mode quad run to one ordinary space.
• base/mkern-to-mspace Collapse mkern to the explicit mspace command.
• base/mskip-to-mspace Collapse mskip to the explicit mspace command.

Notes#

This is a partial matcher because the same command name has different base/math and textmacros/text semantics, so it touches rather than eliminates cmd: . The rule derives the actual content mode from the AST parent and slot and rewrite only math content; active_command() and match_command() are not sufficient mode tests. Text-mode control space remains an ordinary U+0020. Produces is empty because ~ is an ActiveSpace token rather than a knowledge target. Every Applied result replaces one math-mode control-space command with an ActiveSpace node; text-mode and otherwise ineligible nodes return Skipped, so the number of eligible control-space commands strictly decreases.

Disable this rule#

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

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

Open in Playground