author | nipkow |

Fri Aug 06 16:54:26 2004 +0200 (2004-08-06) | |

changeset 15119 | e5f167042c1d |

parent 15118 | e2bd080c7975 |

child 15120 | f0359f75682e |

undid UN/INT xsymbol syntax with subscripts.

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