Pauli matrices
formula_4 of Pauli matrices formula_5, where