【python标准库】如何打出字符π

html是python标准库中比较鸡肋的一个模块，主要提供了escape和unescape两个功能，用于转换字符串中的<,>等字符，从而保证可被正确地用于网页中。所以大部分人都直接用第三方库了。

但html的子模块entities封装了四个字典，里面包含了一些特殊字符，有的时候还是挺有用的。

其中，html5这个字典的功能与unescape几乎是一样的。

而entitydefs则可以返回一些特殊字符，例如

>>> from html.entities import entitydefs
>>> entitydefs['alpha']
'α'
>>> entitydefs['pi']
'π'
>>> entitydefs['empty']
'∅'

（我一直以为输入法中输入pi就能得到π，就像alpha，beta之类的。。然鹅我试了好几款发现都不行。。）

entitydefs中共有252个键值对，涵盖了诸多常用字符，其键值对表示如下，对于熟悉markdown的朋友来说不存在什么记忆成本。