TeX source:

P(X < 12), P(X > 18)