Constant RIGHT_CEILING 

pub const RIGHT_CEILING: &str = "\u{2309}";