Fuente TeX:

\scriptstyle{\exists x,y \in \{ n \, : \, n \in N, n \, impar \} \; / \; x+y = 2}