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.I’m glad that at least someone is getting some value out of it.
The equivalence symbol would be even better, indeed. But I can’t type it with just AltGr+I, so I went for the simple arrow.