^2 | \alpha, \beta \rang =