[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: |
Wed, 26 Oct 2022 10:22:12 +0100 |
On Wed, Oct 26, 2022 at 02:57:55AM +0200, Vincent Lefevre wrote:
> But in such a case, the manual should have mentioned the encoding
> issue.
The manual appears not be completely correct when it states
In a fixed-width font, this is a single hyphen
as in DejaVu Sans Mono the "hyphen" and "minus sign" appear different, even
though it is a fixed-width font.
I've carefully rewritten that text again:
diff --git a/doc/texinfo.texi b/doc/texinfo.texi
index 1b7f029ba4..25eb1b3328 100644
--- a/doc/texinfo.texi
+++ b/doc/texinfo.texi
@@ -10294,8 +10294,8 @@ @node @code{@@minus}
@cindex Em dash, compared to minus sign
@cindex Hyphen, compared to minus
-Use the @code{@@minus@{@}} command to generate a minus sign. In a
-fixed-width font, this is a single hyphen, but in a proportional font,
+Use the @code{@@minus@{@}} command to generate a minus sign.
+Where the character encoding and font used in the output allow it,
the symbol is the customary length for a minus sign---a little longer
than a hyphen, shorter than an em-dash:
I don't want to get into too much distracting detail about character
encodings in different output formats.
- @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/26
- Re: @math{-} does not produce a minus sign in Info,
Gavin Smith <=
- 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