Refute of point one: these are substituted for display only. It does not matter if they clash with an actual Unicode code point Why? This brings us to refute o

Refute of point one: these are substituted for display only. It does not matter if they clash with an actual Unicode code point Why? This brings us to refute of point two: lack of semantic substitution is a hypothetical problem (it could easily be solved though by parsing the source before substituting). But here is the refute: how often do I come across this? And how, exactly, could I shoot myself in the foot with it? The author omits answering that question. I studied typography alongside CS and worked in the former field for years so I have strong opinions on use of type for stuff other people look at. My editor is, however, something only I look at. I use code-type fonts with ligatures since years in various editors (vscode the last four), writing mainly Rust. I never ran into either issue one or two.