What I roughly know about time reversal operator T is,
T[a]=a†,T[a†]=aT[i]=−i,T[t]=−t.
For the number operator n=a†a, I expect T[n]=n. Does that mean time reversal is NOT conjugating the field operator, which gives T[a†a]=aa†, but conjugating the whole thing? i.e. T[a†a]=(a†a)†=a†a?
But if that's the case, I don't understand T[a|ψ(t)⟩]=⟨ψ(−t)|a†, since I expect T[a|ψ(t)⟩]=a†|ψ(−t)⟩.
Could somebody explain how to apply the time reversal to e.g. Heisenberg equation of motion?