PanLinx
русский
rus-000
оператор абстракции
English
eng-000
abstraction operator
PanLex