Pauli matrices
NOTはパウリ行列の1つでもある。