TeX source:
P(A\;and\;B)