src/Tools/WWW_Find/www/find_theorems.js
changeset 53194 1943db7bc34c
parent 50233 eef21a0726f1
--- 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>'] = 'โ‹…';