\LongleftarrowThe \Longleftarrow symbol is a mathematical notation used to represent a long leftward double arrow. It is often used in mathematical proofs and logical arguments to denote implication or logical equivalence, indicating that the statement on the right implies or is equivalent to the statement on the left.
Indicates that B implies A in a logical argument.
A \Longleftarrow BShows that if x squared equals 4, then x is 2, assuming the context of positive numbers.
x = 2 \Longleftarrow x^2 = 4Used in mathematical induction to show that if a property holds for n+1, it implies it holds for n.
P(n) \Longleftarrow P(n+1)