This is LaTeX code:

[latex]
 
(n,0)\mapsto (n,0)\\
(\omega,k)\mapsto (1,k+1)\\
(n,k+1)\mapsto (n+1,k+1)
 
[/latex]