Re: @math{-} does not produce a minus sign in Info

[Gavin Smith]

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.