pub const XKB_KEY_Greek_THETA: u32 = 0x07c8;