Re: better glyph for U+00B0 (DEGREE SIGN)

[Werner LEMBERG]

>> Since you have a real use case here, and the case of someone trying
>> to use a degree sign without the EC font is only hypothetical, I
>> have instated your proposed definition for \textdegree.
> 
> Thanks.

For consistency I think you should apply the following.


    Werner


======================================================================


--- texinfo.tex.old     2022-11-13 07:17:19.891786983 +0100
+++ texinfo.tex 2022-11-13 09:03:06.497293081 +0100
@@ -10489,7 +10489,7 @@
   \DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}%
   \DeclareUnicodeCharacter{00AF}{\={ }}%
   %
-  \DeclareUnicodeCharacter{00B0}{\textdegree}
+  \DeclareUnicodeCharacter{00B0}{\textdegree}%
   \DeclareUnicodeCharacter{00B1}{\ensuremath\pm}%
   \DeclareUnicodeCharacter{00B2}{$^2$}%
   \DeclareUnicodeCharacter{00B3}{$^3$}%