Fuente TeX:

\infer[I_\exists]{(\exists y) \alpha}{\infer*{\alpha[t/y]}{ }}