TeX source:

{\frac {P\to Q,P}{Q}}