Ich würde ehrlich gesagt ein < statt ≤ 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.
x↗x0limf(x)
( Code: \limx \nearrow x_0 f(x) )
oder
x↑x0limf(x)
( Code: \limx\uparrow x_0 f(x) )
oder
x→x0−limf(x)
( Code: \limx\rightarrow x_0^- f(x) )