XkbKeyTypesForCoreSymbols(3) on Linux

The text b0e31542e5d0, as Debian 7 (Wheezy) shipped it.

Determine the Xkb key types appropriate for the symbols bound to a key in a core keyboard mapping