TeX source:
|0>