⇔は
(x^2+5x+6)=0
⇔(x+2)(x+3)=0
のように使う事は出来るのでしょうか?