pub const XKB_KEY_Greek_iotadieresis: u32 = 0x07b5;