TeX source:

x \nless 2