pub fn remove_meaning_global(token: &Token)Expand description
Remove a token’s meaning entirely — the token becomes undefined, as if it
had never been defined, so a later use takes the normal undefined-CS error
path naming the token itself. Bypasses the group-undo journal: intended
ONLY for format-bootstrap time (no user groups open), where a format layer
retracts a definition inherited from a lower layer that the emulated
format must not expose (e.g. plain.tex’s \+ in a LaTeX session — real
LaTeX is INITEX-based and never defines it).