GS[p] can be used as input for a 4-dimensional and is transformed into DiracGamma[Momentum[p]] by FeynCalcInternal (=FCI). GS[p,q, ...] is a short form for GS[p].GS[q]. ... .
See also: DiracGamma, DiracSlash, GA, GAD.