3 ms·
> However, all that said, if you ever check in unicode identifiers that I can't easily type then you're on your own. Between copy and paste and most language's
by WorldMaker 5y ago
> However, all that said, if you ever check in unicode identifiers that I can't easily type then you're on your own.
Between copy and paste and most language's auto-complete tools and the emoji soft-keyboards in most operating systems today you can "easily type" most any unicode identifier with just a little bit of knowing your tools. (The Windows emoji keyboard has almost all of the Unicode math symbols, for instance.)
- thom 5y agoSure, I get fuzzy search for emoji names in Emacs. Still not gonna do it in code.
- jgtrosh 5y agoIf you only know these Unicode input systems, I strongly recommend looking into https://en.wikipedia.org/wiki/Compose_key https://en.wikipedia.org/wiki/Compose_key systems
- WorldMaker 5y agoI do have an AltGr international key that has many Compose Key benefits. It is handy. I tend to make the other recommendations first as people can be picky about changing their keyboard, and learning something like a Compose Key can be a lot of work for some people.