Fuente TeX:
1- SOLITARE \in NP \\2 - (\forall X \in NP) X \leqslant_p SOLITARE