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

[Patrice Dumas]

On Sun, Jul 24, 2022 at 09:42:52PM +0100, Gavin Smith wrote:
> 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.

Ok, I can do that.

-- 
Pat