PanLinx
普通话
cmn-000
形式幂级数域
English
eng-000
formal power series field
PanLex