DiracSigma[a, b] stands for i/2*(a . b - b . a) in 4 dimensions. a and b must have Head DiracGamma, DiracMatrix or DiracSlash. Only antisymmetry is implemented.
See also: DiracSigmaExplicit.