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