# Is use of arrows between equations recommended

In high school, I was told that I always should use arrows to indicate rearrangements of equations, such as:

$$\begin{eqnarray} a\left[b+\frac{c}{d}\right]&=&a\\ &\Updownarrow&\\ 1-\frac{c}{d}&=&b \end{eqnarray}$$

upon starting my bachelor in physics, some of my co-students have suggested that this is, in fact, if not outright an error, at least not good mathematical notation, and the former example ought to be written:

$$\begin{eqnarray} a\left[b+\frac{c}{d}\right]&=&a\\ 1-\frac{c}{d}&=&b \end{eqnarray}$$

Edit: arguing that they are not necessary, and thus a waste of symbols and possibly a source of distraction.

While others again have suggested that it is correct, but only if the arrows are one-way arrows:

$$\begin{eqnarray} a\left[b+\frac{c}{d}\right]&=&a\\ &\Downarrow&\\ 1-\frac{c}{d}&=&b \end{eqnarray}$$

Edit: arguing that one shouldn't give the impression that for instance $$F=m a$$ can be proven from one the result of the results in one particular theoretical exercise in classical mechanic.

I, therefore, wish to know if any official guidelines exist for arrows between equations, and if they are optional, whether or not they are recommended and which types of arrows (one-way or two way) are recommended.

For example, the following uses of $$\Rightarrow$$ and $$\Leftrightarrow$$ are fine: $$x = 1 ~ \Rightarrow ~ x^2 = 1 \qquad \text{and} \qquad 2x+1 = 5 ~ \Leftrightarrow ~ x=2$$ but the following uses of $$\Rightarrow$$ and $$\Leftrightarrow$$ are not fine $$x = 1 ~ \Leftrightarrow ~ x^2 = 1 \qquad \text{and} \qquad \sin(x) = 0 ~ \Rightarrow ~ x=0$$ The first fails because $$x^2=1$$ implies $$x=1$$ or $$x=-1$$, not necessarily that $$x=1$$; the second fails because $$\sin(x)=0$$ implies that $$x=n\pi$$ for some $$n \in \mathbb{Z}$$. The issue in both of these cases is that the operation we performed (squaring and applying the $$\sin$$ function, respectively) was not invertible.
• ...be careful! If you're rearranging equations then usually the $$\Rightarrow$$ direction is what you're doing; if you want to be able to reverse it (i.e. turn the $$\Rightarrow$$ into a $$\Leftrightarrow$$) then you need to make sure that the operation you when turning one equation into the next is an invertible operation.