Allowing non-ASCII identifiers

[Neil Hodgson]

Scott David Daniels:

> Because some of us use archaic systems and/or fonts which are
> incapable of displaying such symbols.  Never mind whether we
> can read them.

   For such circumstances, I would like to see hex escape sequences allowed
in identifiers as in Java. That means that there is a representation of last
resort that can be used by those using less capable tools. A simple filter
could translate to and from this format for the extremely rare occasions it
would be needed.

   Neil