2 ms·
Honestly, I would have had this concern ~10 years ago, but it's 2023. Unicode is ubiquitous, to the point that you'd need to pretty aggressively go out of your
by OkayPhysicist 3y ago
Honestly, I would have had this concern ~10 years ago, but it's 2023. Unicode is ubiquitous, to the point that you'd need to pretty aggressively go out of your way to find things breaking due to it.
- cryptonector 3y agoRoboto Mono doesn't support all the math glyphs, even some of the ones TFA uses: https://news.ycombinator.com/item?id=36438765 https://news.ycombinator.com/item?id=36438765
- jcparkyn 3y agoIt's still much more annoying than it should be to input Unicode characters in most operating systems and text editors, though.
- bPspGiJT8Y 3y agoI agree, in Kitty I'd have to hit C-S-u and then type fora... to get ∀. Good thing I can just type forall and the formatter replaces the keyword with the symbol for me :) Same for transforming othey symbols, like :: and =>, <=, ->, <- into single characters.