I have recently been trying to improve the readability of my work as I solve equations, so that I and others can easily navigate how exactly I solved them. I want to make sure I using proper notation. In my search I come across this question, but was left pondering the accepted answer.
In the question, it is asked whether using the logical implication symbol is valid for showing that an equation has been rearranged. For example:$$\alpha\beta=\gamma\Rightarrow\alpha=\frac{\gamma}{\beta}$$
The accepted answer asserts that this is correct, but that one can also use the logical biconditional symbol. For example:$$\alpha\beta=\gamma\Leftrightarrow \alpha=\frac{\gamma}{\beta}$$
In the answer (and comments) it is implied that the context of the equation will determine which to use. I have taken a course in propositional logic and understand what these operators mean from a truth table perspective, but am unclear on when to use what?
My question:
In what situations should I use an implication to demonstrate the equation has been rearranged and in what situations should I use biconditional/equivalence to show this?
