Constant DOUBLE_VERTICAL_RIGHT 

pub const DOUBLE_VERTICAL_RIGHT: &str = "╠";