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