1.1 --- a/etc/symbols	Tue Jun 23 20:14:40 2009 +0200
     1.2 +++ b/etc/symbols	Tue Jun 23 21:00:18 2009 +0200
     1.3 @@ -207,7 +207,7 @@
     1.4  \<bottom>               code: 0x0022a5  font: Isabelle
     1.5  \<top>                  code: 0x0022a4  font: Isabelle
     1.6  \<and>                  code: 0x002227  font: Isabelle  abbrev: /\
     1.7 -\<And>                  code: 0x0022c0  font: Isabelle  abbreb: !!
     1.8 +\<And>                  code: 0x0022c0  font: Isabelle  abbrev: !!
     1.9  \<or>                   code: 0x002228  font: Isabelle  abbrev: \/
    1.10  \<Or>                   code: 0x0022c1  font: Isabelle  abbrev: ??
    1.11  \<forall>               code: 0x002200  font: Isabelle  abbrev: !