PanLinx
English
eng-000
literal number
русский
rus-000
алгебраическое число
PanLex
