PanLinx
普通话
cmn-000
可数半加性的函数
PanLex