<|>-operator!