Pauli matrices
The Pauli matrices are a vector of three 2×2 matrices