We pose and resolve a seeming paradox about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator. But Wigner’s theorem guarantees that every symmetry is implemented by a unitary operator that preserves transition probabilities between pure states. We show how it is possible for a un...