pub const LESS_THAN_OR_EQUAL_TO: char = '≤';