NEWS

--- a/NEWS	Fri Apr 01 15:32:25 2016 +0200
+++ b/NEWS	Fri Apr 01 16:15:31 2016 +0200
@@ -9,6 +9,9 @@
 
 *** General ***
 
+* Mixfix annotation syntax: "(\<open>unbreakable\<close>" supersedes "(00"; the old
+form has been discontinued. INCOMPATIBILITY.
+
 * New symbol \<circle>, e.g. for temporal operator.
 
 * Old 'header' command is no longer supported (legacy since