TeX source:
|a_1\rangle\langle a_2|\otimes|b_1\rangle\langle b_2|