Ok, então aqui está o que acabei fazendo. Eu puxei os nomes das chaves reais de /usr/include/linux/input.h. Há uma seção em que os nomes dos códigos de tecla são definidos:
#define KEY_RIGHTMETA 126
#define KEY_COMPOSE 127
#define KEY_STOP 128 /* AC Stop */
#define KEY_AGAIN 129
#define KEY_PROPS 130 /* AC Properties */
Eu usei o xxx minúsculo em KEY_xxx (assim, "compor", "parar", etc.) como os nomes das chaves. Eu escolhi coisas que pareciam não ser usadas em outro lugar (como KEY_LEFTCTRL).
Depois, como o artigo sugerido, usei xbindkeys -km
para obter os números de códigos de chaves apropriados e usei xbindkeys para mapeá-los.