Pauli matrices
which constitute the Pauli matrices.