Fuente TeX:

\infer[I \rightarrow] { \perp \rightarrow p} {\infer[E \perp] {p} {[ \perp]}}