A time-reversal operator intertwines forward and backward evolution:It must be antiunitary in ordinary quantum mechanics. Its conjugate linearity sends to , allowing it to commute with a time-reversal-invariant Hamiltonian rather than reversing the sign of its energy.
Codex Wiki