Fuente TeX:

p_1 \rightarrow p_2 \wedge p_3 \wedge p_4 \rightarrow p_5