<-> Что за обозначение?

[bigarcus]

Встретил обозначение вида A<->B

Возможно тире в этом обозначении подлиннее, чем я вставил.

А может, вообще могло иметься в виду <=>

Что означают такие обозначения? Очень поможете, если приведете несколько употреблений. Постараюсь допетрить.

[Pahigor]

обоюдно следует...?

[JMH]

Т.е. "эквивалентны".

[bigarcus]

Спасибо большое!
А что обозначает знак равенства с волнистой чертой над ним? (Выглядит как знак тождества, но верхнее тире - не тире, а волнистая тильда).

[JMH]

В алгебре и теории множеств так ($\cong$) обозначают изоморфизм, в геометрии конгруэнтность.