[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:48:47 +0200 |
User-agent: |
Mutt/2.2.7+51 (a318ca5a) vl-149028 (2022-10-21) |
On 2022-10-26 02:57:55 +0200, Vincent Lefevre wrote:
> On 2022-10-25 14:51:46 +0100, Gavin Smith wrote:
> > FWIW, the Info file currently outputs with
> >
> > ‘−’ is a minus sign generated with ‘@minus{}’,
> >
> > The − there is not an ASCII character. Note also the directional
> > quote marks.
> >
> > It's possible you have an old version of the manual,
>
> This is the Debian/unstable version (texinfo 6.8-6+b1). So this is
> the latest release.
Well, this should have worked even with this version... I've done
some tests, and it appears that in Debian, UTF-8 is not the default
input encoding! I've just reported a bug:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1022789
--
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 <=
- 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, 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