If it's more than one codepoint, we could prefix with the length of the
codepoint's name:
def __12CIRCLED_PLUS__(x, y):
...
That's a bit impractical, and why reinvent the wheel? I'd much rather:
def \u2295(x, y):
....
So readable I want to read it twice. And that's not legal python today so we don't break backwards compatibility!
Yuval