SI[mu]
can be used as input for 3-dimensional \sigma^{\mu } with 4-dimensional Lorentz
index \mu and is transformed into
PauliSigma[LorentzIndex[mu]]
by FeynCalcInternal.
Overview, PauliSigma, SID, SIE.
[\[Mu]] SI
\bar{\sigma }^{\mu }
[\[Mu]] // FCI // StandardForm
SI
(*PauliSigma[LorentzIndex[\[Mu]]]*)
[\[Mu], \[Nu]] - SI[\[Nu], \[Mu]] SI
\bar{\sigma }^{\mu }.\bar{\sigma }^{\nu }-\bar{\sigma }^{\nu }.\bar{\sigma }^{\mu }
[\[Mu], \[Nu], \[Rho], \[Sigma]] SI
\bar{\sigma }^{\mu }.\bar{\sigma }^{\nu }.\bar{\sigma }^{\rho }.\bar{\sigma }^{\sigma }
[\[Mu], \[Nu], \[Rho], \[Sigma]] // StandardForm
SI
(*SI[\[Mu]] . SI[\[Nu]] . SI[\[Rho]] . SI[\[Sigma]]*)
[\[Alpha]] . (SIS[p] + m) . SI[\[Beta]] SI
\bar{\sigma }^{\alpha }.\left(\bar{\sigma }\cdot \overline{p}+m\right).\bar{\sigma }^{\beta }