Fuente TeX:

f : \mathcal{N}\times \Sigma^* \to \Sigma^*