TeXipedia

larr

Displays a leftward-pointing arrow commonly used to indicate direction, implication, or mapping relationships.

Overview

Essential for mathematical notation and technical writing where left-directed relationships need to be shown visually.

  • Frequently used in set theory and abstract algebra to denote mappings or transformations
  • Common in computer science for indicating previous steps or reverse operations
  • Appears in logic and proof writing to show reverse implications
  • Often employed in documentation and technical diagrams to indicate navigation or flow
  • Useful in expressing mathematical concepts like inverse functions or reverse relationships

Examples

Showing logical implication from right to left.

qp means p implies qq \larr p \text{ means } p \text{ implies } q
q \larr p \text{ means } p \text{ implies } q

Indicating a reverse mapping between sets.

BAB \larr A
B \larr A

Representing backward assignment in algorithms or programming.

xy+zx \larr y + z
x \larr y + z