TeX source:
P(Z < z)