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