# HG changeset patch # User nipkow # Date 1515611856 -3600 # Node ID b71431a2051ee7709ccd1c2e6b6a3ce87a87ad91 # Parent a82df75b7f85f6c9062856028d6fa07f3e42bf76 typo diff -r a82df75b7f85 -r b71431a2051e NEWS --- a/NEWS Wed Jan 10 18:18:34 2018 +0100 +++ b/NEWS Wed Jan 10 20:17:36 2018 +0100 @@ -9,7 +9,7 @@ *** General *** -* The "op " syntax for infix opertors has been replaced by +* The "op " syntax for infix operators has been replaced by "()". If begins or ends with a "*", there needs to be a space between the "*" and the corresponding parenthesis. INCOMPATIBILITY.