* bug#24302: TeX input method: wrong binding for \longrightarrow etc.
@ 2016-08-24 18:43 Andreas Abel
2019-07-27 14:55 ` Lars Ingebrigtsen
0 siblings, 1 reply; 2+ messages in thread
From: Andreas Abel @ 2016-08-24 18:43 UTC (permalink / raw)
To: 24302
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/
^ permalink raw reply [flat|nested] 2+ messages in thread
* bug#24302: TeX input method: wrong binding for \longrightarrow etc.
2016-08-24 18:43 bug#24302: TeX input method: wrong binding for \longrightarrow etc Andreas Abel
@ 2019-07-27 14:55 ` Lars Ingebrigtsen
0 siblings, 0 replies; 2+ messages in thread
From: Lars Ingebrigtsen @ 2019-07-27 14:55 UTC (permalink / raw)
To: Andreas Abel; +Cc: 24302, andreas.abel
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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2019-07-27 14:55 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2016-08-24 18:43 bug#24302: TeX input method: wrong binding for \longrightarrow etc Andreas Abel
2019-07-27 14:55 ` Lars Ingebrigtsen
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).