TeX source:
P(X > 650)