TeX source:

\int_{1}^{3} \mathrm{INT}(u) \mathrm{du}