Constant XKB_KEY_braille_dots_1237

pub const XKB_KEY_braille_dots_1237: u32 = 0x1002847;