pub const GREATER_THAN_OR_EQUAL_TO: char = '≥';