TeX source:
\text { false, No Solution } \emptyset