PanLinx
русский
rus-000
дизъюнктная сумма
English
eng-000
disjunctive sum
PanLex