スレイター行列式
the Slater determinant is created by the antisymmetrizer operating on the product of spin-orbitals, as below: