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