TeX source:
\operatorname{INT}(x)