PanLinx
русский
rus-000
линейчатое пространство
English
eng-000
ruled space
PanLex