Fuente TeX:

\infer[I \rightarrow] {(p \rightarrow q) \wedge p \rightarrow q} {\infer[E \rightarrow] {q} {\infer[E \wedge_2] {p} {[(p \rightarrow q) \wedge p]}&\infer[E \wedge_1] {p \rightarrow q} {[(p \rightarrow q) \wedge p]}}}