TeX source:
|\psi'\rangle