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