TeX source:
|00\rangle