TeX source:
\lim\limits_{x \rightarrow 2^} \operatorname{INT}(x)=1