TeX source:
|\psi \rangle