dead_tilde

Constant dead_tilde 

Source
pub const dead_tilde: u32 = 0xfe53; // 65_107u32