TeX source:
|1\rangle\otimes|1\rangle