In formal mathematical presentations of T-symmetry, three different kinds of notation for T need to be carefully distinguished: the T that is an involution, capturing the actual reversal of the time coordinate, the T that is an ordinary finite dimensional matrix, acting on spinors and vectors, and the T that is an operator on an infinite-dimensional Hilbert space.