TeX source:
|0\rangle |\psi \rangle