GAD[mu]
can be used as input for a D-dimensional \gamma ^{\mu } and is transformed into
DiracGamma[LorentzIndex[mu,D],D]
by
FeynCalcInternal
(=FCI
).
GAD[mu , nu , ...]
is a short form for
GAD[mu].GAD[nu]
.
Overview, DiracGamma, GA, GS.
[\[Mu]] GAD
\gamma ^{\mu }
[\[Mu], \[Nu]] - GAD[\[Nu], \[Mu]] GAD
\gamma ^{\mu }.\gamma ^{\nu }-\gamma ^{\nu }.\gamma ^{\mu }
StandardForm[FCI[GAD[\[Mu]]]]
(*DiracGamma[LorentzIndex[\[Mu], D], D]*)
[\[Mu], \[Nu], \[Rho], \[Sigma]] GAD
\gamma ^{\mu }.\gamma ^{\nu }.\gamma ^{\rho }.\gamma ^{\sigma }
StandardForm[GAD[\[Mu], \[Nu], \[Rho], \[Sigma]]]
(*GAD[\[Mu]] . GAD[\[Nu]] . GAD[\[Rho]] . GAD[\[Sigma]]*)
[\[Alpha]] . (GSD[p] + m) . GAD[\[Beta]] GAD
\gamma ^{\alpha }.(m+\gamma \cdot p).\gamma ^{\beta }