TeX source:
(1, |0\rangle)