Pauli matrices
the formula_7 are the Pauli matrices and formula_8 is the identity matrix.