TeX source:
|1>