TeX source:
|1〉