PanLinx
русский
rus-000
функциональный квантор
English
eng-000
function quantifier
PanLex