Here’s a question for those who know discrete math or proofs. In one of my classes, “if and only if” is <=>. In another, “if and only if” is <->, and instead, “logically equivalent” is <=>.

So my question is, in the long run, which symbol is better to use for “if and only if”?