De acordo com os códigos Xmonad / Key ,
You can also search in
/usr/include/X11/keysymdef.hand lower-case the first character (XK*becomesxK*).
Normalmente (algumas configurações do teclado diferem), o teclado de edição grande envia símbolos como XK_KP_0 , etc., (os símbolos com _KP_ ) e pressionando NumLock faz com que as teclas enviem o símbolo alternativo (como XK_0 ) que é impresso no teclado.
xterm, por exemplo, usa esse mapeamento de XK_KP_xxx para determinar quais seqüências de escape enviar (isso é aceito em Por que o meu teclado não funciona? na FAQ do XTerm).