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