# HG changeset patch
# User wenzelm
# Date 1377857434 -7200
# Node ID 5f310fb79c62462b8f685297ef4e1e433f7a411e
# Parent  ec45115483044fd401faa692b2cfeb54ebea8110
misc tuning -- reduce conflicts;

diff -r ec4511548304 -r 5f310fb79c62 etc/symbols
--- 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