>>54
端的に言えば
「=」は等しい集合や集合の元をつなぐ、置き換え
「⇔」は同値な条件や命題をつなぐ、言い換え