Fuente TeX:

\infer[I \lnot] {\lnot \bot} {[ \bot]}