TeX source:
P(Z \leq-a