O teclado grego não está funcionando como descrito no keymap

Question

Na minha máquina Debian (usando o Gnome for X), eu configuro para alternar entre inglês (EUA) e grego (Polytonic) para os teclados. No arquivo keymap grego (/ usr / share / X11 / xkb / symbols / gr), eu tenho as linhas

partial alphanumeric_keys alternate_group
xkb_symbols "polytonic" {

include "gr(extended)"

name[Group1] = "Greek (polytonic)";

key.type[Group1] = "THREE_LEVEL";

key <AD11> { [ dead_tilde, dead_diaeresis, dead_macron ] }; // ~ ¨ ¯
key <AD12> { [  dead_iota,     VoidSymbol,  dead_breve ] }; // ͺ   ˘

key <AC10> { [ dead_acute, dead_psili  ] }; // ´ ̓
key <AC11> { type[Group1]="FOUR_LEVEL",
             [ dead_grave, dead_dasia, apostrophe, quotedbl  ] };
             // ' ̔  ' "
};

Então, eu esperaria que quando eu digitasse AltGr + [ (ou seja, AltGr + AD11 ) eu obteria um macron morto ( include "level3(ralt_switch)" é parte do teclado grego (estendido)). Mas eu não recebo um macron, eu prefiro apenas [. O que da? Por que esse teclado não está funcionando conforme descrito no arquivo de mapa de chaves? (AltGr parece funcionar bem nas outras teclas, também.)