>> [...] I think a better solution is below, which retains U+00B0 for
>> copy and paste.
>
> This uses the European Computer Modern fonts, which normally we have
> only used when necessary. Hence, this would have a chance (probably
> small) of breaking for a document with a degree sign on a system
> where these fonts aren't available.
Is this really an issue today? Shouldn't Texinfo rather move on and
make the EC fonts mandatory?
> Since there appears to be an acceptable alternative using \circ, I
> think it is better to keep on using \circ.
Well, for cut and paste, `\circ` is *not* an alternative, since it
maps to U+25E6 (WHITE BULLET) in font `cmsy10.pfb`. This might not be
an issue in math, but for code listings typeset with typewriter it
would be really nice to get it right.
Werner
