Define a function sigma satisfying $($sigma m n$)=$ m$+($m$+1)++$n$.$ When m $>$ n$,$ the behavior of sigma is unspecified; your implementation may do anything you like.