PanLinx
русский
rus-000
логическое обозначение
English
eng-000
logical notation
PanLex
