FEYN CALC SYMBOL

DiracSpinor


is simply a quantity defined as noncommutative (with DeclareNonCommutative[DiracSpinor]). The convention intended is that DiracSpinor[p, m, ind] is a Dirac spinor for a fermion with momentum p and mass m and indices ind.