undid UN/INT xsymbol syntax with subscripts.
authornipkow
Fri Aug 06 16:54:26 2004 +0200 (2004-08-06)
changeset 15119e5f167042c1d
parent 15118 e2bd080c7975
child 15120 f0359f75682e
undid UN/INT xsymbol syntax with subscripts.
NEWS
     1.1 --- a/NEWS	Fri Aug 06 13:36:04 2004 +0200
     1.2 +++ b/NEWS	Fri Aug 06 16:54:26 2004 +0200
     1.3 @@ -370,11 +370,10 @@
     1.4    matrix theory to linear programming.
     1.5  
     1.6  * Unions and Intersections:
     1.7 -  The x-symbol output syntax of UN and INT has been changed
     1.8 -  from "\<Union>x \<in> A. B" to "\<Union\<^bsub>x \<in> A\<^esub> B"
     1.9 -  i.e. the index formulae has become a subscript, like in normal math.
    1.10 -  Similarly for "\<Union>x. B", and for \<Inter> instead of \<Union>.
    1.11 -  The subscript version is also accepted as input syntax.
    1.12 +  The latex output syntax of UN and INT has been changed
    1.13 +  from "\Union x \in A. B" to "\Union_{x \in A} B"
    1.14 +  i.e. the index formulae has become a subscript.
    1.15 +  Similarly for "\Union x. B", and for \Inter instead of \Union.
    1.16  
    1.17  * Unions and Intersections over Intervals:
    1.18    There is new short syntax "UN i<=n. A" for "UN i:{0..n}. A". There is