Do you, or does anyone you know, regularly use unicode input like that in your day to day programming? It sounds like you might.
I'm super interested in symbols as a way of increasing expressivity, but the ctrl+cmd+space route just seems like it'd be too much overhead for the tradeoff to be worth it.
I'd love to hear what people who have gotten over the learning curve think about it as a language feature.