I was reading "A Course in Probability Theory" by Kai Lai Chung, and in the book he was discussing discontinuity of monotonic functions, and after doing some searching online to learn more about the various concepts of discontinuity, I stumbled across Froda's Theorem and I have no idea what the arrows mean in part 2 of the definition:
$\qquad\qquad\Large f(x+0):=\lim\limits_{h\searrow \,0} f(x+h)\quad$ and $\quad\Large f(x-0):=\lim\limits_{h\nearrow \,0} f(x-h)$
I have never seen those symbols before. I have a basic idea of the proof listed on wikipedia, and I am still working on fully understanding it; however, I can't find what those arrows mean.
Thanks.
$\lim\limits_{h\searrow a}f(h)$ means the same as $\lim\limits_{h\to a^+}f(h)$: it's the limit of $f(h)$ as $h$ approaches $a$ from the right. Similarly, $\lim\limits_{h\nearrow a}f(h)$ means the same as $\lim\limits_{h\to a^-}f(h)$: it's the limit of $f(h)$ as $h$ approaches $a$ from the left. Since bigger numbers are on the right, approaching $a$ from the right can also be thought of as approaching $a$ from above, i.e., from higher numbers. Similarly, approaching $a$ from the left can be thought of as approaching $a$ from below, i.e., from smaller numbers.