summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
raw | gz |
help

author | nipkow |

Fri, 06 Aug 2004 16:54:26 +0200 | |

changeset 15119 | e5f167042c1d |

parent 15118 | e2bd080c7975 |

child 15120 | f0359f75682e |

undid UN/INT xsymbol syntax with subscripts.

--- a/NEWS Fri Aug 06 13:36:04 2004 +0200 +++ b/NEWS Fri Aug 06 16:54:26 2004 +0200 @@ -370,11 +370,10 @@ matrix theory to linear programming. * Unions and Intersections: - The x-symbol output syntax of UN and INT has been changed - from "\<Union>x \<in> A. B" to "\<Union\<^bsub>x \<in> A\<^esub> B" - i.e. the index formulae has become a subscript, like in normal math. - Similarly for "\<Union>x. B", and for \<Inter> instead of \<Union>. - The subscript version is also accepted as input syntax. + The latex output syntax of UN and INT has been changed + from "\Union x \in A. B" to "\Union_{x \in A} B" + i.e. the index formulae has become a subscript. + Similarly for "\Union x. B", and for \Inter instead of \Union. * Unions and Intersections over Intervals: There is new short syntax "UN i<=n. A" for "UN i:{0..n}. A". There is