TC[p] is the temporal component of a 4-vector and is transformed into
TemporalPair[TemporalMomentum[p], ExplicitLorentzIndex[0]]
by FeynCalcInternal.
Overview, TemporalPair, TemporalMomentum, FCClearScalarProducts.
TC[p]p^0
TC[p - q](p-q)^0
FCI[TC[p]] // StandardForm
(*TemporalPair[ExplicitLorentzIndex[0], TemporalMomentum[p]]*)ExpandScalarProduct is used to expand momenta in
TC
ExpandScalarProduct[TC[p - q]]p^0-q^0
ExpandScalarProduct[TC[p - q]] // StandardForm
(*TemporalPair[ExplicitLorentzIndex[0], TemporalMomentum[p]] - TemporalPair[ExplicitLorentzIndex[0], TemporalMomentum[q]]*)