renaming operator