TeX source:

[\mathrm{x}]=\operatorname{INT}(\mathrm{x})