Constant DIGIT_SEVEN 

pub const DIGIT_SEVEN: &str = "\u{0037}";