TeX source:
0\leq P(A|B)\leq 1