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