DiracIndex is the head of Dirac indices. The internal
representation of a four-dimensional spinorial index i is
DiracIndex[i].
If the first argument is an integer, DiracIndex[i] turns
into ExplicitDiracIndex[i].
Dirac indices are the indices that denote the components of Dirac matrices or spinors. They should not be confused with the Lorentz indices attached to the Dirac matrices. For example in the case of \gamma_{ij}^{\mu}, \mu is a Lorentz index, while i and j are Dirac (spinorial) indices.
Overview, DiracChain, DCHN, ExplicitDiracIndex, DiracIndexDelta, DIDelta, DiracChainJoin, DiracChainCombine, DiracChainExpand, DiracChainFactor.
DiracIndex[i]i
DiracIndex[i] // StandardForm
(*DiracIndex[i]*)DiracIndex[2]2
DiracIndex[2] // StandardForm
(*ExplicitDiracIndex[2]*)DIDelta[i, j] // FCI // StandardForm
(*DiracIndexDelta[DiracIndex[i], DiracIndex[j]]*)