Antiunitary operator

In mathematics, an antiunitary transformation, is a bijective antilinear map

between two complex Hilbert spaces such that

for all and in , where the horizontal bar represents the complex conjugate. If additionally one has then U is called an antiunitary operator.