TeX source:
|11\rangle