PanLinx
русский
rus-000
пропорциональная переменная
English
eng-000
propositional variable
PanLex