gets

Represents a leftward assignment arrow, commonly used in mathematical logic and computer science notation.

Overview

Serves as a formal notation for assignment operations, particularly in algorithm descriptions and mathematical proofs where precise symbolic representation is essential.

Frequently used in pseudocode to indicate variable assignments
Common in formal specifications and mathematical logic
Often appears alongside other arrow symbols in discrete mathematics
Provides a more formal alternative to the equals sign when specifically denoting assignment rather than equality

Examples

Showing the assignment of a value to a variable in an algorithm.

x \gets 5

x \gets 5

Indicating the update of a running sum in a mathematical sequence.

S_n \gets S_{n-1} + a_n

S_n \gets S_{n-1} + a_n

Representing state transition in a finite automaton.

q_1 \gets q_2

q_1 \gets q_2