html特殊字符

有一个问题纠结 me 很久了，就是在 html 中如何打出来像 ℵ0 这样的字符，这样显得更专业些，O__O"…。以前的想法是使用其他工具(比如 latex)生成或是从某个地方拷贝一张图片，然后嵌到 html 中，但是赶脚这样很麻烦；今天 google 了一下，才知道原来 html 中就支持这样的特殊字符。

me 从这里找到了很多，然后想自己处理一下，写到 blog 中，后来发现，一个一个滴敲太过麻烦，但是直接从前面的网站上拷来又不是 me 的作风，O__O"…。后来想到提取字母和具体的值，比如 alpha 和 945，用程序生成 html ，O__O"…，前前后后折腾将近两个小时。下面就是整理的结果，以后想查也方便了许多。

对照表