Are these operators actually used anywhere?