TeX source:
P(Z < -0.25)