TeX source:

P\otimes 1 = P