TeX source:

|b,a\rangle