PanLinx
普通话
cmn-000
数学形式体系
English
eng-000
mathematic formalism
PanLex
