FV[p, mu]
is the 4-dimensional vector p^{\mu }.
Overview, FCE, FCI, FVD, Pair.
[p, \[Mu]] FV
\overline{p}^{\mu }
[p - q, \[Mu]] FV
\left(\overline{p}-\overline{q}\right)^{\mu }
[p, \[Mu]] // StandardForm
FV
(*FV[p, \[Mu]]*)
[FV[p, \[Mu]]] // StandardForm
FCI
(*Pair[LorentzIndex[\[Mu]], Momentum[p]]*)
ExpandScalarProduct
is used to expand momenta in FV
[FV[p - q, \[Mu]]] ExpandScalarProduct
\overline{p}^{\mu }-\overline{q}^{\mu }