Fuente TeX:

IS \leq_P X, \forall X \in NP