PanLinx
русский
rus-000
бинепрерывный оператор
English
eng-000
bicontinuous operator
PanLex