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

[Patrice Dumas]

On Wed, Oct 26, 2022 at 10:22:12AM +0100, Gavin Smith wrote:
> +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.

I agree, even that is, in my opinion, too much, as if we say that for
this symbol, we should say it for all the others similar insertions, as
this is also an issue for most of the glyphs inserted as @-commands.
@minus is admitedly special, because an hyphen is already rendered
differently in math and in text in TeX, but still, it does not seems to
me to be that useful to state for every glyph that they are rendered
differently depending on the encoding and font.

-- 
Pat