Renamed relational operators abbreviations