TeX source:

P\to Q