TeXipedia

Larr

Represents a double leftward arrow symbol, commonly used to indicate reverse implications or leftward mappings in mathematical notation.

Overview

Serves as a prominent directional indicator in mathematical and logical contexts, particularly useful for expressing reverse relationships or mappings.

  • Frequently used in set theory and abstract algebra to show reverse mappings between sets
  • Common in logical proofs to indicate reverse implications or equivalences
  • Appears in computer science notation for indicating reverse data flow or dependencies
  • Often employed in mathematical writing to show backward relationships or transformations

Examples

Showing logical implication in reverse direction (follows from).

q⇐pq \Larr p 
q \Larr p

Indicating a reverse mapping between sets.

Y⇐XY \Larr X 
Y \Larr X

Representing backward dependency in a process flow.

Output⇐Input\text{Output} \Larr \text{Input} 
\text{Output} \Larr \text{Input}