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