NCM[a,b, …]
(alternatively a· b· ...) denotes the Dirac product of spinors, Dirac matrices, etc.
GrassmannProduct