GNU bug report logs - #24302
TeX input method: wrong binding for \longrightarrow etc.

Previous Next

Package: emacs;

Reported by: andreas.abel <at> gu.se

Date: Wed, 24 Aug 2016 19:31:02 UTC

Severity: minor

Tags: fixed

Fixed in version 27.1

Done: Lars Ingebrigtsen <larsi <at> gnus.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Andreas Abel <abela <at> chalmers.se>
To: 24302 <at> debbugs.gnu.org
Subject: bug#24302: TeX input method: wrong binding for \longrightarrow etc.
Date: Wed, 24 Aug 2016 20:43:11 +0200

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 <at> gu.se
http://www2.tcs.ifi.lmu.de/~abel/
This bug report was last modified 5 years and 358 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.