TeX source:
|b_1\rangle