diff options
Diffstat (limited to 'help/define.md')
| -rw-r--r-- | help/define.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/help/define.md b/help/define.md index b36b5fc0..9947af70 100644 --- a/help/define.md +++ b/help/define.md @@ -12,4 +12,4 @@ Variable `n` must not already exist. ⊢ b ← 3‿3 ⥊ 5 - C ← ↑
\ No newline at end of file + C ← ↑ |