PanLinx
русский
rus-000
действительная переменная
English
eng-000
real variable
PanLex