TeX source:

\int_{1}^{3} 2+\mathrm{INT}(t) \mathrm{dt}