[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @math{-} does not produce a minus sign in Info
From: |
Patrice Dumas |
Subject: |
Re: @math{-} does not produce a minus sign in Info |
Date: |
Tue, 25 Oct 2022 19:42:22 +0200 |
On Tue, Oct 25, 2022 at 03:28:33PM +0200, Vincent Lefevre wrote:
>
> ------------------------------------------------------------------------
> 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 is not very elaborated, but in the "Invoking texi2any from a Shell"
node, there is, for --enable-encoding/--disable-encoding, there is:
By default, or with --enable-encoding, output accented and special
characters in Info and plain text output based on the document encoding.
This implies that if the encoding does not have a character for the
Unicode codepoint used for @minus, something else will be used. In that
case an ASCII hyphen is a good choice.
--
Pat
- Re: @math{-} does not produce a minus sign in Info, (continued)
- 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/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, 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 <=
- Re: @math{-} does not produce a minus sign in Info, Vincent Lefevre, 2022/10/25