pub const RIGHT_ANGLE: char = '∟';