PanLinx
русский
rus-000
оператор эквивалентности
English
eng-000
biconditional statement
PanLex