java替换html特殊字符工具类

替换html中特殊字符htmlStr=htmlStr.replaceAll("∀","∀");htmlStr=htmlStr.replaceAll("∂","∂");htmlStr=htmlStr.replaceAll("&exists;","∃");htmlStr=htmlStr.replaceAll("∅","∅");htmlStr=htmlStr.replaceAll("&a