Fuente TeX:
Si\ x \neq y \implies f(x) \neq f(y)