operator definition