TeX source:
P(Z-1.25)