TeX source:

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