Fuente TeX:

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