NEWS

--- a/NEWS	Mon Feb 10 22:47:43 2020 +0100
+++ b/NEWS	Mon Feb 10 23:04:45 2020 +0100
@@ -88,7 +88,7 @@
 * Theory HOL.Complete_Lattices:
 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf
 
-* Theory HOL-Library.Monad_Syntax: infix operation "bind" (>>=)
+* Theory HOL-Library.Monad_Syntax: infix operation "bind" (\<bind>)
 associates to the left now as is customary.
 
 * Theory HOL-Library.Ramsey: full finite Ramsey's theorem with