This file is indexed.

/usr/share/X11/xkb/symbols/kr is in xkb-data 2.5-1ubuntu1.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
default  alphanumeric_keys
xkb_symbols "kr106" {
    include "us"
    name[Group1]= "Korean";
    include "kr(koreankeys)"
};

alphanumeric_keys
xkb_symbols "kr104" {
    include "us"
    name[Group1]= "Korean (101/104 key compatible)";
    include "kr(koreankeys)"
    include "kr(koreankeys_raltctl)"
};

partial hidden function_keys
xkb_symbols "koreankeys" {
    key <K72> { [ Hangul ] };
    key <K71> { [ Hangul_Hanja ] };    
};

partial hidden function_keys
xkb_symbols "koreankeys_raltctl" {
    key <RALT> { [ Hangul ] };
    key <RCTL> { [ Hangul_Hanja ] };    
};