diff options
Diffstat (limited to 'help/export.md')
| -rw-r--r-- | help/export.md | 4 |
1 files changed, 2 insertions, 2 deletions
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 |