TeX source:
P(X < 47