TeX source:

|ba\rangle