PanLinx
русский
rus-000
недифференцируемый оператор
English
eng-000
nondifferentiable operator
PanLex
