Constant ALTERNATIVE_KEY_SYMBOL 

pub const ALTERNATIVE_KEY_SYMBOL: &str = "\u{2387}";