TeX source:
\lim\limits_{x \rightarrow a} \operatorname{INT}(x)