>>74
A⇔BというのはA⇒BとB⇒Aを合わせた意味。
「のとき」という意味なのは⇔ではなくて⇒