TeX source:

P + 0 = P