TeX source:

\mathrm{INT(x)}