[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#24302: TeX input method: wrong binding for \longrightarrow etc.
|
From: |
Lars Ingebrigtsen |
|
Subject: |
bug#24302: TeX input method: wrong binding for \longrightarrow etc. |
|
Date: |
Sat, 27 Jul 2019 16:55:51 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) |
Andreas Abel <abela@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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#24302: TeX input method: wrong binding for \longrightarrow etc.,
Lars Ingebrigtsen <=