operator (1)