TeX source:
|R\rangle