TeX source:
|ψ_3\rangle