TeX source:
P(X \leq 67-a