and hence constitute a representation (in addition to spanning a representation space) sitting inside C l 3 , 1 ( R ) , the (⁠ 1 / 2 ⁠, 0) ⊕ (0, ⁠ 1 / 2 ⁠) spin representation. For details, see bispinor and Dirac algebra.