Fuente TeX:

\infer[I \land] {p \land q} {p&q}