diff -r 34ffa53db76c -r b62323c85134 NEWS
--- a/NEWS	Sun Feb 29 23:05:48 2004 +0100
+++ b/NEWS	Mon Mar 01 05:21:43 2004 +0100
@@ -129,6 +129,11 @@
   Similarly for "\<Union>x. B", and for \<Inter> instead of \<Union>.
   The subscript version is also accepted as input syntax.
 
+* Unions and Intersections over Intervals:
+  There is new short syntax "UN i<=n. A" for "UN i:{0..n}. A". There is 
+  also an x-symbol version with subscripts "\<Union>\<^bsub>i <= n\<^esub>. A" 
+  like in normal math, and corresponding versions for < and for intersection.
+
 * ML: the legacy theory structures Int and List have been removed. They had
   conflicted with ML Basis Library structures having the same names.