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