PanLinx
русский
rus-000
явная связная переменная
English
eng-000
explicit bound variable
PanLex