TeX source:
P\otimes 0 = 0