Renamed operators