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