Re: TeX errors with @U{0075} which is u

[Gavin Smith]

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.