パウリ行列
The Pauli matrices also anti-commute, for example formula_28 .