ただし、formula_13およびformula_14はそれぞれスピンの上昇、下降に対応する演算子である(→昇降演算子)。