Source TeX:
\displaystyle \lim_{x \to -\infty} F(x).