Pauli matrices
where formula_28 is the vector of Pauli matrices.