On 9 October 2015 at 21:51, Gavin Smith <gavinsmith0...@gmail.com> 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.
