PanLinx: десятичное деление

русский	rus-000
десятичное деление

English	eng-000	DD
English	eng-000	decimal divide

PanLex-PanLinx