TeX source:
\int_{1.5}^{2.7} \mathrm{INT}(x) \mathrm{dx}