3 ms·
It's still much more annoying than it should be to input Unicode characters in most operating systems and text editors, though.
by jcparkyn 3y ago
It'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.