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: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Andreas Abel <abela <at> chalmers.se>
Cc: 24302 <at> debbugs.gnu.org, andreas.abel <at> gu.se
Subject: bug#24302: TeX input method: wrong binding for \longrightarrow etc.
Date: Sat, 27 Jul 2019 16:55:51 +0200

Andreas Abel <abela <at> chalmers.se> writes:

> 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.

Yup; I've now done this for Emacs 27.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no
This bug report was last modified 5 years and 359 days ago.

Previous Next

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