TeX source:

|b\rangle\otimes|a\rangle