TeX source:
\,\,-4\,<\,0\,\,\,\,\,\,