EDIT: @SDS: Schreibt man "≤" nicht im Allgemeinen "<=" und nicht "=<"? Egal, wahrscheinlich 'n Tippfehler...
...
Ich habe es so geschrieben, damit man es nicht mit einem Folgepfeil verwechselt, den es in der Mathematik auch gibt. Dass man es auch einfach < schreiben kann, daran habe ich jetzt nicht gedacht. Ein Hoch auf den Unterstrich. xD