TeX source:
|\psi\rangle