TeX source:

\lim\limits_{x \rightarrow a^{+}} \operatorname{INT}(x)=a