Re: HELLO changes

[Dave Love]

Richard Stallman <address@hidden> writes:

>     If that text is Unicode, what is the rest of it, and what is the user
>     supposed to make of that?
>
> I don't understand.  Could you say that in different words?

Unicode is a character catalogue and it includes most of the
characters in HELLO (but not, for instance, the Emacs characters
needed to deal with the glyphs of complex scripts, of course).

It isn't meaningful to say ‘€’ is a `Unicode character' because I
typed it with the TeX input method, but ‘€’ isn't because I typed it
with latin-9-prefix (assuming they don't get canonicalized on input).
They are different representations of the same character (which should
preferably actually be displayed the same).

Saying the version from mule-unicode-0100-24ff is `Unicode', but not
the latin-iso8859-15 one, is especially strange in this ISO2022
system; latin-iso8859-15 has a standard-defined mapping to Unicode and
mule-unicode-0100-24ff is just a private charset with a
privately-defined mapping to unicodes.