TeX source:

\left \{ v\,\mid \,\exists x:T\left [ x \right ] =v \right \}