Re: [bug #46083] DeclareUnicodeCharacter breaks if used twice for same character

[Gavin Smith]

On 9 October 2015 at 21:51, Gavin Smith <address@hidden> wrote:
> I don't like the idea of encouraging the use of
> \DeclareUnicodeCharacter in raw @tex blocks. But there's still the
> problem of how people can use Unicode characters in Texinfo files when
> they haven't been supported. There are hundreds and thousands of
> characters that people may wish to use in the future, so this is a big
> problem.
>
> I think the best solution is whenever somebody needs to use an
> unsupported character, they get it included in the official
> texinfo.tex file, which would make them easily available for others.
> Ideally, blocks of characters would be added at once (for example, all
> math symbols, or all letters of a particular alphabet), which should
> reduce the amount of work needed in the long term compared with one or
> two characters being added at a time --- of course, that depends on
> someone taking the time to do that.

I decided to make it a warning, as you suggested. (If not at
http://ftp.gnu.org/gnu/texinfo/texinfo.tex, it will be soon.) It's
always possible that there will be one or two characters in a document
that aren't supported, and it seems to be easier just to allow their
redefinition. Getting the characters people use into the official
texinfo.tex would still be the best outcome though. But it occurred to
me we are more likely to get these definitions sent to us if people
are able to test them out first and use documents with many Unicode
characters, which they are less likely to do if they're confounded by
error messages all the time.