Fix string representation of GREATER_OR_EQUAL