TeX source:
P\oplus P=0