NEWS

--- a/NEWS	Wed Apr 27 10:49:39 2011 +0200
+++ b/NEWS	Wed Apr 27 13:21:12 2011 +0200
@@ -76,11 +76,15 @@
   - Use extended reals instead of positive extended reals.
     INCOMPATIBILITY.
 
+
 *** Document preparation ***
 
 * New term style "isub" as ad-hoc conversion of variables x1, y23 into
 subscripted form x\<^isub>1, y\<^isub>2\<^isub>3.
 
+* Predefined LaTeX macros for Isabelle symbols \<bind> and \<then>
+(e.g. see ~~/src/HOL/Library/Monad_Syntax.thy).
+
 
 *** ML ***