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 charact

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"?