TeX source:
|00\rangle_{AB}