Eugene Wigner showed that a symmetry operation S of a Hamiltonian is represented in quantum mechanics either by a unitary operator, S = U, or an antiunitary one, S = UK where U is unitary, and K denotes complex conjugation. Antiunitary operators arise in quantum mechanics due to the time reversal operator