TeX source:

|a_2\rangle