etc/symbols
changeset 37204 12d850a27eef
parent 33300 939ca97f5a11
child 40444 020c16837866
--- a/etc/symbols	Mon May 31 09:47:41 2010 +0200
+++ b/etc/symbols	Mon May 31 10:24:21 2010 +0200
@@ -162,10 +162,10 @@
 \<Longleftarrow>        code: 0x0027f8  font: Isabelle 
 \<Rightarrow>           code: 0x0021d2  font: Isabelle  abbrev: =>
 \<Longrightarrow>       code: 0x0027f9  font: Isabelle  abbrev: ==>
-\<leftrightarrow>       code: 0x002194  font: Isabelle  abbrev: <->
-\<longleftrightarrow>   code: 0x0027f7  font: Isabelle  abbrev: <-->
-\<Leftrightarrow>       code: 0x0021d4  font: Isabelle  abbrev: <=>
-\<Longleftrightarrow>   code: 0x0027fa  font: Isabelle  abbrev: <==>
+\<leftrightarrow>       code: 0x002194  font: Isabelle
+\<longleftrightarrow>   code: 0x0027f7  font: Isabelle  abbrev: <->
+\<Leftrightarrow>       code: 0x0021d4  font: Isabelle
+\<Longleftrightarrow>   code: 0x0027fa  font: Isabelle  abbrev: <=>
 \<mapsto>               code: 0x0021a6  font: Isabelle  abbrev: |->
 \<longmapsto>           code: 0x0027fc  font: Isabelle  abbrev: |-->
 \<midarrow>             code: 0x002500  font: Isabelle