pub const XK_doubledagger: u32 = 0xaf2; // 2_802u32