Fuente TeX:
(p_1 \rightarrow ((p_2 \wedge p_3 \wedge p_4) \rightarrow p_5))