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