# HG changeset patch
# User wenzelm
# Date 1353527434 -3600
# Node ID 1f645910e177ae04835ba03b17566a3024828122
# Parent  7b61a539721efb184a32c07b167bec064ab3cc2b
clarified symbol groups, despite this traditional arrangement in X-symbol grid;

diff -r 7b61a539721e -r 1f645910e177 etc/symbols
--- a/etc/symbols	Wed Nov 21 20:36:52 2012 +0100
+++ b/etc/symbols	Wed Nov 21 20:50:34 2012 +0100
@@ -204,8 +204,8 @@
 \<rbrace>               code: 0x002984  group: punctuation  abbrev: .}
 \<guillemotleft>        code: 0x0000ab  group: punctuation  abbrev: <<
 \<guillemotright>       code: 0x0000bb  group: punctuation  abbrev: >>
-\<bottom>               code: 0x0022a5  group: arrow
-\<top>                  code: 0x0022a4  group: arrow
+\<bottom>               code: 0x0022a5  group: operator
+\<top>                  code: 0x0022a4  group: operator
 \<and>                  code: 0x002227  group: operator  abbrev: /\
 \<And>                  code: 0x0022c0  group: operator  abbrev: !!
 \<or>                   code: 0x002228  group: operator  abbrev: \/