nicer symbols for >=, <= and ==