> An actual ≠ has a low chance to sneak into the source code, Hmm...my programming language supports ≠ directly ... > even lower chance to somehow type it by

> An actual ≠ has a low chance to sneak into the source code, Hmm...my programming language supports ≠ directly ... > even lower chance to somehow type it by hand. ... and my keyboard lets me type it (almost) directly, via Alt-=. I think the author is spot on in that the current state is not the correct end-state, though given path-dependencies it is understandable how we got here.