TeX source:
NP \neq P