TeX source:

|R\rangle