I manipulate a set of inequalities and arrive at
$$\Leftrightarrow \frac{(||\nu|| - \lambda^{-1})^2}{2\tau^2} \geq 53\ln(2)$$
Note the $\Leftrightarrow$ sign, indicating that this inequality is equivalent to the previous one (not shown here). I want the next line to be
$$||\nu|| \leq \lambda^{-1} - 8.5728\tau \;\vee\;||\nu|| \geq \lambda^{-1} + 8.5728\tau$$
but I don't feel comfortable preceding it with the $\Leftrightarrow$, because my rounding of $53\ln(2)\sqrt{2}$ makes it not equivalent anymore. What is the correct notation in such a case?