TeX source:

|-\rangle