diff -r 2ddc5e788f7c -r 1943db7bc34c etc/symbols
--- a/etc/symbols	Sun Aug 25 20:43:10 2013 +0200
+++ b/etc/symbols	Sun Aug 25 20:57:09 2013 +0200
@@ -320,11 +320,8 @@
 \<registered>           code: 0x0000ae
 \<hyphen>               code: 0x0000ad  group: punctuation
 \<inverse>              code: 0x0000af  group: punctuation
-\<onesuperior>          code: 0x0000b9  group: digit
 \<onequarter>           code: 0x0000bc  group: digit
-\<twosuperior>          code: 0x0000b2  group: digit
 \<onehalf>              code: 0x0000bd  group: digit
-\<threesuperior>        code: 0x0000b3  group: digit
 \<threequarters>        code: 0x0000be  group: digit
 \<ordfeminine>          code: 0x0000aa
 \<ordmasculine>         code: 0x0000ba