tuned symbol groups;
authorwenzelm
Sat Nov 24 18:32:05 2012 +0100 (2012-11-24)
changeset 501933ef3e3e75166
parent 50192 22d0f64362a5
child 50194 829ce6e03279
tuned symbol groups;
etc/symbols
     1.1 --- a/etc/symbols	Sat Nov 24 18:29:19 2012 +0100
     1.2 +++ b/etc/symbols	Sat Nov 24 18:32:05 2012 +0100
     1.3 @@ -308,7 +308,7 @@
     1.4  \<diamondsuit>          code: 0x002662
     1.5  \<heartsuit>            code: 0x002661
     1.6  \<spadesuit>            code: 0x002660
     1.7 -\<aleph>                code: 0x002135  group: letter
     1.8 +\<aleph>                code: 0x002135
     1.9  \<emptyset>             code: 0x002205
    1.10  \<nabla>                code: 0x002207
    1.11  \<partial>              code: 0x002202
    1.12 @@ -341,7 +341,7 @@
    1.13  \<amalg>                code: 0x002a3f  group: operator
    1.14  \<mho>                  code: 0x002127  group: operator
    1.15  \<lozenge>              code: 0x0025ca
    1.16 -\<wp>                   code: 0x002118  group: letter
    1.17 +\<wp>                   code: 0x002118
    1.18  \<wrong>                code: 0x002240  group: relation
    1.19  \<struct>               code: 0x0022c4
    1.20  \<acute>                code: 0x0000b4