PanLinx
普通话
cmn-000
数学证明
English
eng-000
mathematical justification
PanLex