PanLinx: сеточный оператор

русский	rus-000
сеточный оператор

English	eng-000	difference operator
English	eng-000	network operator

PanLex-PanLinx