TeX source:
\int_{0}^{\infty}