 Solution

Write $f_s=(-1{)}^{1/2-s}$ for $s=\pm 1/2$, so $f_{-s}=-f_s$. Under the antiunitary operator $\hat{T}$, the coefficients and exponentials in the mode expansion of a Dirac field are conjugated as well as the creation and annihilation operators being transformed. ThusRelabel $q=p_T$ and $r=-s$. The stated Dirac spinor identities implyAlso $q_T\cdot x=-q\cdot x_T$. Substitution reconstructs the original Dirac field at the reflected time:The minus sign comes from reversing the spin label, not from anticommuting field operators. This is the relation between the time-reversal matrix and the charge-conjugation matrix in the supplied spin phases and intrinsic phase convention. Rephasing the charge-conjugation matrix or the intrinsic time-reversal phase can change its displayed form. It proves time reversal of a Dirac field without identifying an antiunitary operator with its finite-dimensional spinor matrix.