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