Constant DOUBLE_TOP_RIGHT 

pub const DOUBLE_TOP_RIGHT: &str = "╗";