lArr

Represents a double-headed leftward arrow, commonly used to indicate logical implication, reverse mappings, or leftward movement in mathematical notation.

Overview

Serves as a distinctive directional indicator in mathematical and logical contexts, particularly useful in formal proofs and set theory.

Frequently appears in mathematical logic to denote reverse implications or equivalences
Used in set theory to show mappings or transformations
Common in computer science for indicating reverse operations or dependencies
Appears in theoretical mathematics when describing reverse relationships or transformations between elements

Examples

Logical implication in reverse direction, commonly used in mathematical logic.

q \lArr p \text{ means } p \implies q

q \lArr p \text{ means } p \implies q

Showing equivalence between mathematical expressions.

x^2 + 2x + 1 \lArr (x+1)^2

x^2 + 2x + 1 \lArr (x+1)^2

Indicating reverse mapping between sets.

Y \lArr X: f^{-1}

Y \lArr X: f^{-1}