# HG changeset patch
# User wenzelm
# Date 1353778325 -3600
# Node ID 3ef3e3e7516609f7e5c38882206a96e53face6aa
# Parent  22d0f64362a50a5d9b50101c15b4f4737faa8f6b
tuned symbol groups;

diff -r 22d0f64362a5 -r 3ef3e3e75166 etc/symbols
--- a/etc/symbols	Sat Nov 24 18:29:19 2012 +0100
+++ b/etc/symbols	Sat Nov 24 18:32:05 2012 +0100
@@ -308,7 +308,7 @@
 \<diamondsuit>          code: 0x002662
 \<heartsuit>            code: 0x002661
 \<spadesuit>            code: 0x002660
-\<aleph>                code: 0x002135  group: letter
+\<aleph>                code: 0x002135
 \<emptyset>             code: 0x002205
 \<nabla>                code: 0x002207
 \<partial>              code: 0x002202
@@ -341,7 +341,7 @@
 \<amalg>                code: 0x002a3f  group: operator
 \<mho>                  code: 0x002127  group: operator
 \<lozenge>              code: 0x0025ca
-\<wp>                   code: 0x002118  group: letter
+\<wp>                   code: 0x002118
 \<wrong>                code: 0x002240  group: relation
 \<struct>               code: 0x0022c4
 \<acute>                code: 0x0000b4