TeX source:
P(A)P(B)