Fuente TeX:
f:\mathbb N\to \mathbb N\times \mathbb N