TeX Quellcode:

[({p}\rightarrow{q})\wedge{(q}\rightarrow{r})]\rightarrow{(p\rightarrow{r})}