pub const XKB_KEY_Greek_kappa: u32 = 0x07ea;