This is LaTeX code:
[latex]
(P \rightarrow Q ) \rightarrow R \vdash Q \rightarrow R
[/latex]