Fuente TeX:
2 \not\in f(1)