1.1 --- a/etc/symbols Sat Aug 16 13:31:55 2008 +0200
1.2 +++ b/etc/symbols Sat Aug 16 13:31:56 2008 +0200
1.3 @@ -236,11 +236,11 @@
1.4 \<subset> code: 0x002282 font: Isabelle
1.5 \<supset> code: 0x002283 font: Isabelle
1.6 \<subseteq> code: 0x002286 font: Isabelle abbrev: (=
1.7 -\<supseteq> code: 0x002287 font: Isabelle abbrev: )=
1.8 +\<supseteq> code: 0x002287 font: Isabelle abbrev: =)
1.9 \<sqsubset> code: 0x00228f font: Isabelle
1.10 \<sqsupset> code: 0x002290 font: Isabelle
1.11 \<sqsubseteq> code: 0x002291 font: Isabelle abbrev: [=
1.12 -\<sqsupseteq> code: 0x002292 font: Isabelle abbrev: ]=
1.13 +\<sqsupseteq> code: 0x002292 font: Isabelle abbrev: =]
1.14 \<inter> code: 0x002229 font: Isabelle abbrev: Int
1.15 \<Inter> code: 0x0022c2 font: Isabelle abbrev: Inter
1.16 \<union> code: 0x00222a font: Isabelle abbrev: Un
1.17 @@ -291,8 +291,8 @@
1.18 \<triangleq> code: 0x00225c font: Isabelle
1.19 \<oplus> code: 0x002295 font: Isabelle abbrev: +o
1.20 \<Oplus> code: 0x002a01 font: Isabelle abbrev: +O
1.21 -\<otimes> code: 0x002297 font: Isabelle abbrev: xo
1.22 -\<Otimes> code: 0x002a02 font: Isabelle abbrev: xO
1.23 +\<otimes> code: 0x002297 font: Isabelle abbrev: *o
1.24 +\<Otimes> code: 0x002a02 font: Isabelle abbrev: *O
1.25 \<odot> code: 0x002299 font: Isabelle abbrev: .o
1.26 \<Odot> code: 0x002a00 font: Isabelle abbrev: .O
1.27 \<ominus> code: 0x002296 font: Isabelle abbrev: -o
1.28 @@ -302,7 +302,7 @@
1.29 \<Sum> code: 0x002211 font: Isabelle abbrev: SUM
1.30 \<Prod> code: 0x00220f font: Isabelle abbrev: PROD
1.31 \<Coprod> code: 0x002210 font: Isabelle
1.32 -\<infinity> code: 0x00221e font: Isabelle abbrev: oo
1.33 +\<infinity> code: 0x00221e font: Isabelle
1.34 \<integral> code: 0x00222b font: Isabelle
1.35 \<ointegral> code: 0x00222e font: Isabelle
1.36 \<clubsuit> code: 0x002663 font: Isabelle