wikipediaの「公理的集合論」のページでは、⇒や⇔ではなく→などの記号を使っていますが、両者は違うものなのですか？