TeX source:
|01\rangle