Fuente TeX:

j:\mathbb{R}^2 \to \mathbb{R}^2 \times \mathbb{R}^2