[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24302: TeX input method: wrong binding for \longrightarrow etc.
From: |
Andreas Abel |
Subject: |
bug#24302: TeX input method: wrong binding for \longrightarrow etc. |
Date: |
Wed, 24 Aug 2016 20:43:11 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 |
See https://github.com/agda/agda/issues/1376
\longrightarrow should bind to
character: ⟶ (displayed as ⟶) (codepoint 10230, #o23766, #x27f6)
However, it produces
character: → (displayed as →) (codepoint 8594, #o20622, #x2192)
which is a short arrow.
I guess the other \long...arrow bindings should also be fixed.
Best,
Andreas
--
Andreas Abel <>< Du bist der geliebte Mensch.
Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden
andreas.abel@gu.se
http://www2.tcs.ifi.lmu.de/~abel/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#24302: TeX input method: wrong binding for \longrightarrow etc.,
Andreas Abel <=