TeX source:

\int_{1.5}^{3.2} \mathrm{INT}(x) \mathrm{dx}