2Here, n,m are integers, n,m the corresponding literal expressions; x,y may be arbitrary expressions.