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