Ich würde ehrlich gesagt ein \( < \) statt \( \leq \) benutzen. Das passt meiner Meinung nach mehr zum Grenzwertcharakter. Ich denke die Notation ist ok, habe sie auch schon gelegentlich gesehen. Alternativen wären z.B.
$$\lim_{x \nearrow x_0} f(x) $$
( Code: \lim_{x \nearrow x_0} f(x) )
oder
$$ \lim_{x\uparrow x_0} f(x) $$
( Code: \lim_{x\uparrow x_0} f(x) )
oder
$$ \lim_{x\rightarrow x_0^-} f(x) $$
( Code: \lim_{x\rightarrow x_0^-} f(x) )