TeX source:

P \ne Q