TeX source:
\operatorname{INT}(\mathrm{x})