TeX source:

|0\rangle\otimes|0\rangle