I like this, esp. the greek, brackets, and arrows, though I’m not sure about ⟦, ⟧ as I’d normally think of them as semantic brackets rather than arrays.
I’ve sometimes wondered how ready programmers would be to use Unicode in source code. I even considered sending a PR for accepting single lowercase Greek characters as a new class of variable names accepted as alternatives to the pre-primed ones. It seems to fit well with the current Capitalization-sensitive lexer, and it maske headers more readable, but then, how many people have bothered setting up a usable input method?