Что обозначает эта стрелка?
Эта стрелка означает "следовательно", но в обе стороны. То есть если выполняется первое условие, значит, выполняется и второе. И наоборот: если выполняется второе, то выполняется и первое.
Равно/равносильно по определению.