TeX source:
P(A,B)=A+B