bug-gnu-emacs
[Top][All Lists]
Advanced

[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/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]