--- a/etc/symbols Fri Aug 30 12:09:53 2013 +0200
+++ b/etc/symbols Fri Aug 30 12:10:34 2013 +0200
@@ -154,7 +154,7 @@
\<rat> code: 0x00211a group: letter
\<real> code: 0x00211d group: letter
\<int> code: 0x002124 group: letter
-\<leftarrow> code: 0x002190 group: arrow abbrev: <-
+\<leftarrow> code: 0x002190 group: arrow
\<longleftarrow> code: 0x0027f5 group: arrow
\<rightarrow> code: 0x002192 group: arrow abbrev: ->
\<longrightarrow> code: 0x0027f6 group: arrow abbrev: -->
@@ -175,7 +175,7 @@
\<leftharpoondown> code: 0x0021bd group: arrow
\<rightharpoondown> code: 0x0021c1 group: arrow
\<leftharpoonup> code: 0x0021bc group: arrow
-\<rightharpoonup> code: 0x0021c0 group: arrow abbrev: ~=>
+\<rightharpoonup> code: 0x0021c0 group: arrow
\<rightleftharpoons> code: 0x0021cc group: arrow
\<leadsto> code: 0x00219d group: arrow abbrev: ~>
\<downharpoonleft> code: 0x0021c3 group: arrow
@@ -190,8 +190,8 @@
\<Down> code: 0x0021d3 group: arrow
\<updown> code: 0x002195 group: arrow
\<Updown> code: 0x0021d5 group: arrow
-\<langle> code: 0x0027e8 group: punctuation abbrev: <.
-\<rangle> code: 0x0027e9 group: punctuation abbrev: .>
+\<langle> code: 0x0027e8 group: punctuation abbrev: <<
+\<rangle> code: 0x0027e9 group: punctuation abbrev: >>
\<lceil> code: 0x002308 group: punctuation
\<rceil> code: 0x002309 group: punctuation
\<lfloor> code: 0x00230a group: punctuation
@@ -200,8 +200,8 @@
\<rparr> code: 0x002988 group: punctuation abbrev: |)
\<lbrakk> code: 0x0027e6 group: punctuation abbrev: [|
\<rbrakk> code: 0x0027e7 group: punctuation abbrev: |]
-\<lbrace> code: 0x002983 group: punctuation abbrev: {.
-\<rbrace> code: 0x002984 group: punctuation abbrev: .}
+\<lbrace> code: 0x002983 group: punctuation abbrev: {|
+\<rbrace> code: 0x002984 group: punctuation abbrev: |}
\<guillemotleft> code: 0x0000ab group: punctuation abbrev: <<
\<guillemotright> code: 0x0000bb group: punctuation abbrev: >>
\<bottom> code: 0x0022a5 group: logic
@@ -218,8 +218,8 @@
\<diamond> code: 0x0025c7 group: logic
\<turnstile> code: 0x0022a2 group: relation abbrev: |-
\<Turnstile> code: 0x0022a8 group: relation abbrev: |=
-\<tturnstile> code: 0x0022a9 group: relation abbrev: ||-
-\<TTurnstile> code: 0x0022ab group: relation abbrev: ||=
+\<tturnstile> code: 0x0022a9 group: relation abbrev: |-
+\<TTurnstile> code: 0x0022ab group: relation abbrev: |=
\<stileturn> code: 0x0022a3 group: relation abbrev: -|
\<surd> code: 0x00221a group: relation
\<le> code: 0x002264 group: relation abbrev: <=
@@ -254,7 +254,7 @@
\<Uplus> code: 0x002a04 group: operator
\<noteq> code: 0x002260 group: relation abbrev: ~=
\<sim> code: 0x00223c group: relation
-\<doteq> code: 0x002250 group: relation abbrev: =.
+\<doteq> code: 0x002250 group: relation abbrev: .=
\<simeq> code: 0x002243 group: relation
\<approx> code: 0x002248 group: relation
\<asymp> code: 0x00224d group: relation