1.1 --- a/etc/symbols	Thu Oct 22 17:54:47 2009 +0200
     1.2 +++ b/etc/symbols	Fri Oct 23 09:20:22 2009 +1100
     1.3 @@ -244,7 +244,7 @@
     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: 0x002294  font: Isabelle  abbrev: |_|
     1.9  \<Squnion>              code: 0x002a06  font: Isabelle  abbrev: |||
    1.10  \<sqinter>              code: 0x002293  font: Isabelle  abbrev: &&
    1.11  \<Sqinter>              code: 0x002a05  font: Isabelle  abbrev: &&&