[OkayPhysicist]

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]

Roboto Mono doesn't support all the math glyphs, even some of the ones TFA uses: https://news.ycombinator.com/item?id=36438765

[jcparkyn]

It's still much more annoying than it should be to input Unicode characters in most operating systems and text editors, though.

[bPspGiJT8Y]

I 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.