In this Wikipedia article, I see a limit operator such as in:
$$\lim_{x \searrow 0} \frac{e^{-1/x}}{x^m}=0\,\,;\,\,\,\, m\in \mathbb{N}$$
I am assuming that the downward pointing arrow indicate the limit as $x$ approaches $0$ from the positive direction? Is this conventional? I've seen both $\displaystyle\lim_{x \rightarrow 0⁺}$ and $\displaystyle\lim_{x \downarrow 0}$, but never before $\displaystyle\lim_{x \searrow 0}$