Fuente TeX:

\infer[I\exists] {\hline (\exists z)\, f(x) =' z}{f(x) =' f(x)}