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

[Werner LEMBERG]

> A fixed width degree sign can be got with a little difficulty.  It's
> only worth doing this if somebody is actually using degree signs in
> a fixed width context - I don't have much interest in fixing this
> for all of the character definitions.
> 
> Please test the patch at the end of this mail.  [...]

Thanks, looks good.  However, I think a better solution is below,
which retains U+00B0 for copy and paste.


    Werner


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


--- texinfo.tex.old     2022-11-07 21:43:50.157462812 +0100
+++ texinfo.tex 2022-11-12 06:41:45.424215132 +0100
@@ -3689,9 +3689,13 @@
     }$%
 }
 
-% @textdegree - the normal degrees sign.
+% @textdegree - the normal degrees sign.  Make it also work in math mode so
+% that U+00B0 can always be used.
 %
-\def\textdegree{$^\circ$}
+\def\textdegree{%
+  \ifmmode ^\circ
+  \else {\tcfont \char 176}%
+  \fi}
 
 % Laurent Siebenmann reports \Orb undefined with:
 %  Textures 1.7.7 (preloaded format=plain 93.10.14)  (68K)  16 APR 2004 02:38
@@ -10063,7 +10067,7 @@
   \gdefchar^^ae{\v Z}
   \gdefchar^^af{\dotaccent Z}
   %
-  \gdefchar^^b0{\textdegree{}}
+  \gdefchar^^b0{\textdegree}
   \gdefchar^^b1{\ogonek{a}}
   \gdefchar^^b2{\ogonek{ }}
   \gdefchar^^b3{\l}
@@ -10486,7 +10490,7 @@
   \DeclareUnicodeCharacter{00AE}{\registeredsymbol{}}%
   \DeclareUnicodeCharacter{00AF}{\={ }}%
   %
-  \DeclareUnicodeCharacter{00B0}{\ringaccent{ }}%
+  \DeclareUnicodeCharacter{00B0}{\textdegree}%
   \DeclareUnicodeCharacter{00B1}{\ensuremath\pm}%
   \DeclareUnicodeCharacter{00B2}{$^2$}%
   \DeclareUnicodeCharacter{00B3}{$^3$}%