An operator (whose name escapes me)