パウリ行列
which constitute the Pauli matrices.