Syntax: Escape hatch for unicode haters

I think you know well that that is not what I am concerned about.

These are all “rhos”, yet they are all different (distinct) characters, which could potentially have all different meaning.
image
image
Does it still seem like a good idea?

6 Likes