TeX source:

P\otimes P=P