TeX source:
|x\rangle,|y\rangle