Fuente TeX:

f:\{1,2,..,9\}\to\{1,2,..,9\}