GS[p]
can be used as input for a 4-dimensional p^\mu \gamma_\mu and is transformed into
DiracGamma[Momentum[p]]
by FeynCalcInternal
(=FCI
).
GS[p,q, ...]
is a short form for
GS[p].GS[q]
.
Overview, DiracGamma, GA, GAD.
[p] GS
\bar{\gamma }\cdot \overline{p}
[p] // FCI // StandardForm
GS
(*DiracGamma[Momentum[p]]*)
[p, q, r, s] GS
\left(\bar{\gamma }\cdot \overline{p}\right).\left(\bar{\gamma }\cdot \overline{q}\right).\left(\bar{\gamma }\cdot \overline{r}\right).\left(\bar{\gamma }\cdot \overline{s}\right)
[p, q, r, s] // StandardForm
GS
(*GS[p] . GS[q] . GS[r] . GS[s]*)
[q] . (GS[p] + m) . GS[q] GS
\left(\bar{\gamma }\cdot \overline{q}\right).\left(\bar{\gamma }\cdot \overline{p}+m\right).\left(\bar{\gamma }\cdot \overline{q}\right)