TeX source:
-|1\rangle