[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @math{-} does not produce a minus sign in Info
From: |
Gavin Smith |
Subject: |
Re: @math{-} does not produce a minus sign in Info |
Date: |
Tue, 25 Oct 2022 14:51:46 +0100 |
> There's another bug in the manual:
>
> ------------------------------------------------------------------------
> Use the '@minus{}' command to generate a minus sign. In a fixed-width
> font, this is a single hyphen, but in a proportional font, the symbol is
> the customary length for a minus sign--a little longer than a hyphen,
> shorter than an em-dash:
>
> '-' is a minus sign generated with '@minus{}',
> ------------------------------------------------------------------------
>
> (where '-' is the ASCII hyphen-minus), which is incorrect: in the
> MPFR manual, I get the real minus sign '−'. I suspect that the
> difference is due to the chosen encoding. But the manual is silent
> on this point.
It's not incorrect, just making accommodations for the character
encoding.
FWIW, the Info file currently outputs with
‘−’ is a minus sign generated with ‘@minus{}’,
The − there is not an ASCII character. Note also the directional
quote marks.
It's possible you have an old version of the manual, or that you
are running Info in a non-UTF-8 locale where fallback characters are
used.
- @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Gavin Smith, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info,
Gavin Smith <=
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Gavin Smith, 2022/10/26
- Re: @math{-} does not produce a minus sign in Info, Gavin Smith, 2022/10/26
- Re: @math{-} does not produce a minus sign in Info, Patrice Dumas, 2022/10/26
- Re: @math{-} does not produce a minus sign in Info, Gavin Smith, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Patrice Dumas, 2022/10/26
- Re: @math{-} does not produce a minus sign in Info, Patrice Dumas, 2022/10/25
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25