NEWS

--- a/NEWS	Fri Jan 01 11:27:29 2016 +0100
+++ b/NEWS	Fri Jan 01 14:44:52 2016 +0100
@@ -598,6 +598,8 @@
 terms for sup and inf. For example, "sup x (sup y (- x))" simplifies to
 "top". INCOMPATIBILITY.
 
+* Library/Monad_Syntax: notation uses symbols \<bind> and \<then>. INCOMPATIBILITY.
+
 * Library/Multiset:
   - Renamed multiset inclusion operators:
       < ~> <#