TeX source:
\not<