From 5d06c6be4bea0f3b3d31d9f35a29f9a7460679a4 Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Sun, 15 May 2022 22:05:00 -0400
Subject: =?UTF-8?q?Add=20help=20sections=20for=20modified=20assignment=20F?=
 =?UTF-8?q?=E2=86=A9?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 help/change.md | 14 ++++++++++++++
 help/export.md |  4 ++--
 2 files changed, 16 insertions(+), 2 deletions(-)

(limited to 'help')

diff --git a/help/change.md b/help/change.md
index f5085d46..eb4dde8d 100644
--- a/help/change.md
+++ b/help/change.md
@@ -14,3 +14,17 @@ Variable `n` must already exist.
         ⊢ b ← 3
 
         ⊢ b ↩ "Be the change you wish to see in the world."
+
+## `n F↩`: Modify
+[→full documentation](../doc/expression.md#assignment)
+
+Apply function `F` to existing variable `n`, and assign the result back to `n`.
+
+        ⊢ b ⌽↩
+
+## `n F↩ v`: Modify
+[→full documentation](../doc/expression.md#assignment)
+
+Assign `n F v` to `n`.
+
+        ⊢ b ↓˜↩ 6
diff --git a/help/export.md b/help/export.md
index 6b71fdb0..6f3970b2 100644
--- a/help/export.md
+++ b/help/export.md
@@ -11,10 +11,10 @@ Define a variable with name `n` and export it from the current namespace.
         ns.exported
         ns.unexported
 
-## `𝕨 ⇐`: Export names
+## `n ⇐`: Export names
 [→full documentation](../doc/expression.md#exports)
 
-Export the names given in `𝕩` from the current namespace. Names must be defined somewhere in the scope.
+Export the names given in `n` from the current namespace. Names must be defined somewhere in the scope.
 
         ns1 ← { ⟨alsoexported⟩⇐, exported ⇐ 5, alsoexported ← 0}
         ns1.exported
-- 
cgit v1.2.3