On Sun, Jul 24, 2022 at 10:17:02PM +0200, Patrice Dumas wrote:
> Hello,
>
> TeX says that @U{0075}, which is supposed to be u is not supported:
>
> ./U0075.texi:9: Unicode character U+0075 not supported, sorry.
> @U ...Unicode character U+#1 not supported, sorry}
> @fi @else @csname
> uni:#1@e...
> l.9 @U{0075}
>
> ?
>
> According to my understanding of the documentation, it is not expected.
Indeed, none of the ASCII characters are supported in @U in the texinfo.tex
implementation. You can see it yourself in the definition of
\unicodechardefs, currently line 10403 of the file. All that would be
needed would be to add 100-odd lines to the file.
