I have some notation questions on the following equation solving:
Would you read the above as "two plus x equals five if and only if x equals five minus two if and only if x equals three" ? Somehow it doesn't sound natural to chain more than one "if and only if".
What's the notation to use and how do you read it when you are not interested in the "reverse direction". E.g. I want to write something like:
x=2 $\implies\ x^2$=4
... where using $\iff$ would be a mistake. Is the $\implies\ $ symbol acceptable and how do you read it?