Source TeX:
P(X \leq x)=y