is the head of Dirac traces. Whether the trace is evaluated depends on the option DiracTraceEvaluate. Direct trace evaluation should be performed with TR (or Tr). The argument expr may be a product of Dirac matrices or slashes separated by the Mathematica Dot (.). For comments regarding schemes see the notes for TR.