PauliIndex is the head of Pauli indices. The internal
representation of a two-dimensional spinorial index i is
PauliIndex[i].
If the first argument is an integer, PauliIndex[i] turns
into ExplicitPauliIndex[i].
Pauli indices are the indices that denote the components of Pauli matrices or spinors. They should not be confused with the Cartesian indices attached to the Pauli matrices. For example in the case of \sigma_{ij}^{k}, k is a Lorentz index, while i and j are Pauli (spinorial) indices.
Overview, PauliChain, PCHN, ExplicitPauliIndex, PauliIndexDelta, DIDelta, PauliChainJoin, PauliChainCombine, PauliChainExpand, PauliChainFactor.
PauliIndex[i]i
PauliIndex[i] // StandardForm
(*PauliIndex[i]*)PauliIndex[2]2
PauliIndex[2] // StandardForm
(*ExplicitPauliIndex[2]*)PIDelta[i, j] // FCI // StandardForm
(*PauliIndexDelta[PauliIndex[i], PauliIndex[j]]*)