PanLinx
普通话
cmn-000
形式数学定义
English
eng-000
formal mathematical definition
PanLex