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