Pauli matrices
These are related to the Pauli matrices by