TeX source:

|\psi_1\rangle