etc/symbols
changeset 33300 939ca97f5a11
parent 33074 e6eda76ad49e
child 37204 12d850a27eef
     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