Before revision: For any numeral symbols "" and " m ", the expression " n + m " denotes the sum of the numbers denoted by " n " and " m ".
After revision: For any nueral symbols "" and " m ", the expression " " deotes the su of the numbers denoted by " n " and " m ".