Leftwards Arrow With Hook (↩)

n ↩ v: Change

→full documentation

Changes the value of variable with name n to value v.

Variable n must already exist.

    a ↩ 1
Error: Undefined identifier

    ⊢ b ← 3
3

    ⊢ b ↩ "Be the change you wish to see in the world."
"Be the change you wish to see in the world."