替换html中特殊字符
htmlStr =htmlStr.replaceAll("∀", "∀");
htmlStr =htmlStr.replaceAll("∂", "∂");
htmlStr =htmlStr.replaceAll("&exists;", "∃");
htmlStr =htmlStr.replaceAll("∅", "∅");
htmlStr =htmlStr.replaceAll("∇", "∇");
htmlStr =htmlStr.replaceAll("∈", "∈");
htmlStr =htmlStr.replaceAll("∉", "∉");
htmlStr =htmlStr.replaceAll("∋", "∋");
htmlStr =htmlStr.replaceAll("∏", "∏");
htmlStr =htmlStr.replaceAll("∑", "∑");
htmlStr =htmlStr.replaceAll("−", "−");
htmlStr =htmlStr.replaceAll("∗", "∗");
htmlStr =htmlStr.replaceAll("√", "√");
htmlStr =htmlStr.replaceAll("∝", "∝");
htmlStr =htmlStr.replaceAll("∞", "∞");
htmlStr =htmlStr.replaceAll("∠", "∠");
......
这些字符全替换，虽然分高点但是工作量很大，从html 帮助文档中挨个提出来
