>>539
二つの命題が同値（互いに必要十分の関係にあること）であることを「命題1⇔命題2」と書いたりする。
不等式　A≦B　や　等式　A=B　も命題であり（書き方は簡略化されてはいるが）
それを⇔で繋ぐのはなんの問題もない。
式だけ書くことが素っ気無く不安なら、言葉を補えばいい。
「A≦Bが成立する⇔C≦Dが成立する」などのように。