[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 3/3] cex: prefer → to ::=
|
From: |
Hans Åberg |
|
Subject: |
Re: [PATCH 3/3] cex: prefer → to ::= |
|
Date: |
Sun, 12 Jul 2020 20:09:53 +0200 |
> On 12 Jul 2020, at 08:19, Akim Demaille <akim.demaille@gmail.com> wrote:
>
>> Unfortunately the literal `→` is output as `↦`. So we need to use
>> @arrow.
>
> As a matter of fact, @arrow works in PDF, but not with makeinfo. So
> I install this.
TeXinfo Unicode support is dismal, so for systematic use, one will have to use
something else.