Fuente TeX:
\{ (x,y): y=0, x \leq 0 \} \cup \{\infty\}