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.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 24302 in the body.
You can then email your comments to 24302 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-gnu-emacs <at> gnu.org:
bug#24302; Package emacs. (Wed, 24 Aug 2016 19:31:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to andreas.abel <at> gu.se:
New bug report received and forwarded. Copy sent to bug-gnu-emacs <at> gnu.org. (Wed, 24 Aug 2016 19:31:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Andreas Abel <abela <at> chalmers.se>
To: <bug-gnu-emacs <at> gnu.org>
Subject: 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/
Information forwarded to bug-gnu-emacs <at> gnu.org:
bug#24302; Package emacs. (Sat, 27 Jul 2019 14:56:01 GMT) Full text and rfc822 format available.

Message #8 received at 24302 <at> debbugs.gnu.org (full text, mbox):

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: Re: 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
Added tag(s) fixed. Request was from Lars Ingebrigtsen <larsi <at> gnus.org> to control <at> debbugs.gnu.org. (Sat, 27 Jul 2019 14:57:02 GMT) Full text and rfc822 format available.
bug marked as fixed in version 27.1, send any further explanations to 24302 <at> debbugs.gnu.org and andreas.abel <at> gu.se Request was from Lars Ingebrigtsen <larsi <at> gnus.org> to control <at> debbugs.gnu.org. (Sat, 27 Jul 2019 14:57:02 GMT) Full text and rfc822 format available.
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 25 Aug 2019 11:24:05 GMT) Full text and rfc822 format available.
This bug report was last modified 4 years and 240 days ago.

Previous Next

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