removed slightly exotic symbol abbreviations for now -- achieves a coherent (unique) mapping;
(NB: in principle symbol abbreviations could well be ambigous);
1.1 --- a/etc/symbols Thu Oct 29 10:52:05 2009 +0100
1.2 +++ b/etc/symbols Thu Oct 29 11:26:47 2009 +0100
1.3 @@ -244,10 +244,10 @@
1.4 \<Inter> code: 0x0022c2 font: Isabelle abbrev: Inter
1.5 \<union> code: 0x00222a font: Isabelle abbrev: Un
1.6 \<Union> code: 0x0022c3 font: Isabelle abbrev: Union
1.7 -\<squnion> code: 0x002294 font: Isabelle abbrev: |_|
1.8 -\<Squnion> code: 0x002a06 font: Isabelle abbrev: |||
1.9 -\<sqinter> code: 0x002293 font: Isabelle abbrev: &&
1.10 -\<Sqinter> code: 0x002a05 font: Isabelle abbrev: &&&
1.11 +\<squnion> code: 0x002294 font: Isabelle
1.12 +\<Squnion> code: 0x002a06 font: Isabelle
1.13 +\<sqinter> code: 0x002293 font: Isabelle
1.14 +\<Sqinter> code: 0x002a05 font: Isabelle
1.15 \<setminus> code: 0x002216 font: Isabelle
1.16 \<propto> code: 0x00221d font: Isabelle
1.17 \<uplus> code: 0x00228e font: Isabelle