--- a/src/Tools/WWW_Find/www/find_theorems.js Sun Aug 25 20:43:10 2013 +0200
+++ b/src/Tools/WWW_Find/www/find_theorems.js Sun Aug 25 20:57:09 2013 +0200
@@ -167,7 +167,6 @@
utf8['\\<mho>'] = 'โง';
utf8['\\<O>'] = '๐ช';
utf8['\\<rr>'] = '๐ฏ';
-utf8['\\<twosuperior>'] = 'ยฒ';
utf8['\\<leftharpoonup>'] = 'โผ';
utf8['\\<pi>'] = 'ฯ';
utf8['\\<k>'] = '๐';
@@ -188,7 +187,6 @@
utf8['\\<ii>'] = '๐ฆ';
utf8['\\<hookleftarrow>'] = 'โฉ';
utf8['\\<P>'] = '๐ซ';
-utf8['\\<threesuperior>'] = 'ยณ';
utf8['\\<epsilon>'] = 'ฮต';
utf8['\\<yy>'] = '๐ถ';
utf8['\\<h>'] = '๐';
@@ -231,7 +229,6 @@
utf8['\\<V>'] = '๐ฑ';
utf8['\\<ss>'] = '๐ฐ';
utf8['\\<unrhd>'] = 'โต';
-utf8['\\<onesuperior>'] = 'ยน';
utf8['\\<b>'] = '๐ป';
utf8['\\<downharpoonleft>'] = 'โ';
utf8['\\<cdot>'] = 'โ
';