Constant dead_tilde 

pub const dead_tilde: Key;