feat(emacs/lean-input): shortcut for long arrow