but that's how programming ligatures work? Or, what is it that you're getting at?

Fonts with ligatures, such as Fira Code or Hasklig, work by replacing characters with a ligature. The actual source code is still "->" or "===" or "|>" or whatever it may be.

No one is "pushing it on the rest of the world"?