Fuente TeX:
n \neq m \longrightarrow (a,z_0, Nz_0)