同値⇔は文と文を結んで文にする演算記号