TeX source:
P\oplus 0 = P