bug#24302: TeX input method: wrong binding for \longrightarrow etc.

bug#24302: TeX input method: wrong binding for \longrightarrow etc.

[Andreas Abel]

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/

bug#24302: TeX input method: wrong binding for \longrightarrow etc.

[Lars Ingebrigtsen]

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