for me \longrightarrow maps to

−
MINUS SIGN
Unicode: U+2212, UTF-8: E2 88 92

shouldn’t that map to this? ⟶ LONG RIGHTWARDS ARROW Unicode: U+27F6, UTF-8: E2 9F B6

I figure I should ask before start doing pull requests willy nilly. :stuck_out_tongue:

This is likely a mistake indeed, since the online docs document the same behaviour: http://docs.racket-lang.org/drracket/Keyboard_Shortcuts.html?q=longarrow#%28part._.La.Te.X_and_.Te.X_inspired_keybindings%29

There’s also no \longleftarrow strangely