operator [pl. operators]