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