tuned abbrevs;
authorwenzelm
Sat Aug 16 13:31:56 2008 +0200 (2008-08-16)
changeset 27913c347986773eb
parent 27912 ffb69afdd4b4
child 27914 9a7f17370ffb
tuned abbrevs;
etc/symbols
     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