# HG changeset patch
# User wenzelm
# Date 1218886316 -7200
# Node ID c347986773eb97e971162561daa9324e80f5a35f
# Parent  ffb69afdd4b4e7a73a6ebbe9ae4be63a1c351655
tuned abbrevs;

diff -r ffb69afdd4b4 -r c347986773eb etc/symbols
--- a/etc/symbols	Sat Aug 16 13:31:55 2008 +0200
+++ b/etc/symbols	Sat Aug 16 13:31:56 2008 +0200
@@ -236,11 +236,11 @@
 \<subset>               code: 0x002282  font: Isabelle
 \<supset>               code: 0x002283  font: Isabelle
 \<subseteq>             code: 0x002286  font: Isabelle  abbrev: (=
-\<supseteq>             code: 0x002287  font: Isabelle  abbrev: )=
+\<supseteq>             code: 0x002287  font: Isabelle  abbrev: =)
 \<sqsubset>             code: 0x00228f  font: Isabelle
 \<sqsupset>             code: 0x002290  font: Isabelle
 \<sqsubseteq>           code: 0x002291  font: Isabelle  abbrev: [=
-\<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: ]=
+\<sqsupseteq>           code: 0x002292  font: Isabelle  abbrev: =]
 \<inter>                code: 0x002229  font: Isabelle  abbrev: Int
 \<Inter>                code: 0x0022c2  font: Isabelle  abbrev: Inter
 \<union>                code: 0x00222a  font: Isabelle  abbrev: Un
@@ -291,8 +291,8 @@
 \<triangleq>            code: 0x00225c  font: Isabelle
 \<oplus>                code: 0x002295  font: Isabelle  abbrev: +o
 \<Oplus>                code: 0x002a01  font: Isabelle  abbrev: +O
-\<otimes>               code: 0x002297  font: Isabelle  abbrev: xo
-\<Otimes>               code: 0x002a02  font: Isabelle  abbrev: xO
+\<otimes>               code: 0x002297  font: Isabelle  abbrev: *o
+\<Otimes>               code: 0x002a02  font: Isabelle  abbrev: *O
 \<odot>                 code: 0x002299  font: Isabelle  abbrev: .o
 \<Odot>                 code: 0x002a00  font: Isabelle  abbrev: .O
 \<ominus>               code: 0x002296  font: Isabelle  abbrev: -o
@@ -302,7 +302,7 @@
 \<Sum>                  code: 0x002211  font: Isabelle  abbrev: SUM
 \<Prod>                 code: 0x00220f  font: Isabelle  abbrev: PROD
 \<Coprod>               code: 0x002210  font: Isabelle
-\<infinity>             code: 0x00221e  font: Isabelle  abbrev: oo
+\<infinity>             code: 0x00221e  font: Isabelle
 \<integral>             code: 0x00222b  font: Isabelle
 \<ointegral>            code: 0x00222e  font: Isabelle
 \<clubsuit>             code: 0x002663  font: Isabelle