[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: @math{-} does not produce a minus sign in Info
From: |
Vincent Lefevre |
Subject: |
Re: @math{-} does not produce a minus sign in Info |
Date: |
Wed, 26 Oct 2022 03:18:07 +0200 |
User-agent: |
Mutt/2.2.7+51 (a318ca5a) vl-149028 (2022-10-21) |
On 2022-10-25 19:42:22 +0200, Patrice Dumas wrote:
> 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.
But since the result of the above example depends on that, the above
section should refer to that.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
- @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, 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/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/25
- Re: @math{-} does not produce a minus sign in Info,
Vincent Lefevre <=