TeX source:

|a_1\rangle