TeX source:

\mathrm{INT(a)}