←
n ← v
Defines a new variable with name n and value v.
n
v
Variable n must not already exist.
⊢ a ← 1 1 ⊢ b ← 3‿3 ⥊ 5 ┌─ ╵ 5 5 5 5 5 5 5 5 5 ┘ C ← ↑