TeX source:
P(A)\leq P(B)