TGA[]
can be used as input for \gamma^0 in 4 dimensions and is transformed into DiracGamma[ExplicitLorentzIndex[0]]
by FeynCalcInternal
.
Overview, GA, DiracGamma.
[] TGA
\bar{\gamma }^0
[] // FCI // StandardForm
TGA
(*DiracGamma[ExplicitLorentzIndex[0]]*)
[] . TGA[] // DiracSimplify TGA
1