TeX source:

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