Constant DOUBLE_PRIME 

pub const DOUBLE_PRIME: &str = "\u{2033}";