Источник TeX:

P(A)≥P(B)