TeX source:

\left(|a_1\rangle\otimes|b_1\rangle\right)\left(\langle a_2|\otimes\langle b_2|\right) = |a_1b_1\rangle\langle a_2b_2|.