tweak hotkey map notation to allow stuff like shift-arrows