PanLinx
русский
rus-000
ограниченная сверху переменная
English
eng-000
upper-bounded variable
PanLex
