[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: |
Wed, 26 Oct 2022 11:32:15 +0200 |
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
- @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, 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, 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