Add help sections for modified assignment F↩

2 files changed, 16 insertions, 2 deletions

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