On Fri, Nov 11, 2022 at 08:47:32AM +0000, Werner LEMBERG wrote: > > [texinfo.tex 2022-11-07.17] > > > I suggest to change the mapping for U+00B0 (DEGREE SIGN) to use > `@textdegree{}`. > > ``` > \input texinfo > > @code{45°} > > @code{45@textdegree{}} > > @bye > ```
It is better to be consistent in my opinion. Here is a proposed patch, it does not use @textdegree but leads to the same output as @textdegree{}. It fails in @math{}, but the preceding mapping also failed in @math. > As this small example document shows, the results look better even > with typewriter IMHO. Of course, the glyph width must be adjusted for > typewriter, which I haven't done here. I do not think that it is done for @textdegree{}, nor for many substitutions of non-ascii characters. The previous mapping got a fixed-width, though, as it used a space accented with a ringaccent. -- Pat
diff --git a/doc/texinfo.tex b/doc/texinfo.tex index b1bf41ff56..5932efd5ca 100644 --- a/doc/texinfo.tex +++ b/doc/texinfo.tex @@ -10486,7 +10486,7 @@ directory should work if nowhere else does.} \DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}% \DeclareUnicodeCharacter{00AF}{\={ }}% % - \DeclareUnicodeCharacter{00B0}{\ringaccent{ }}% + \DeclareUnicodeCharacter{00B0}{$^\circ$}% \DeclareUnicodeCharacter{00B1}{\ensuremath\pm}% \DeclareUnicodeCharacter{00B2}{$^2$}% \DeclareUnicodeCharacter{00B3}{$^3$}%