Kmeans|| in Conjecture

why are all the plusses replaced with pipes