Comment by incrudible
1 year ago
> symbols like '≈', '≠', 'ƒ'
He can not be serious, can he? I thought those were just ligatures. Is he typing on an old APL keyboard?
1 year ago
> symbols like '≈', '≠', 'ƒ'
He can not be serious, can he? I thought those were just ligatures. Is he typing on an old APL keyboard?
Other languages that make heavy usage of non-ASCII Unicode characters (such as Lean) often have tooling support such that one can type '\' along with some combination of ASCII characters to generate characters like '≈', '≠' and 'ƒ'. Along with searchable documentation for the whole mapping of shorthand codes to the mapped Unicode values, of course.
Code is read more than written, so I have grown to appreciate programming languages that lean into non-ASCII characters for semantic clarity :)