[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: better glyph for U+00B0 (DEGREE SIGN)
From: |
Werner LEMBERG |
Subject: |
Re: better glyph for U+00B0 (DEGREE SIGN) |
Date: |
Sat, 12 Nov 2022 14:42:34 +0000 (UTC) |
>> [...] 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
- better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/11
- Re: better glyph for U+00B0 (DEGREE SIGN), Gavin Smith, 2022/11/11
- Re: better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/12
- Re: better glyph for U+00B0 (DEGREE SIGN), Gavin Smith, 2022/11/12
- Re: better glyph for U+00B0 (DEGREE SIGN),
Werner LEMBERG <=
- Re: better glyph for U+00B0 (DEGREE SIGN), Gavin Smith, 2022/11/12
- Re: better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/12
- Re: better glyph for U+00B0 (DEGREE SIGN), Gavin Smith, 2022/11/12
- Re: better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/13
- Re: better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/13
- Re: better glyph for U+00B0 (DEGREE SIGN), Gavin Smith, 2022/11/13
- Re: better glyph for U+00B0 (DEGREE SIGN), Werner LEMBERG, 2022/11/13