This discussion is incredibly funny, because it is a discussion.
I personally prefer the equivalence (⇔) over the implication (⇒) since I like to emphasize that the statement is true in both directions. Well and having an incorrect base leads to funny statements on implications: x = x/2 ⇒ x = π is true.
x = x/2 ⇒ x = πis true.