⟹ — implies
Read "implies" or "therefore". If the left side is true, the right side follows.
says that whenever holds, holds too. It does not work backwards: being true does not by itself make true.
Example
Perpendicular vectors therefore have a dot product of zero.