PanLinx
普通话
cmn-000
绰金完备化
English
eng-000
dedekind completion
PanLex
