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/export.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'help/export.md')

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