Pauli matrices
where the formula_21 are Pauli matrices, or