with the derivative operator ∂ ∂ / written in Feynman slash notation to include the gamma matrices as well as a summation over the spinor components. The spinor ψ ψ c is the charge conjugate of ψ ψ . By construction, charge conjugates are necessarily given by