Change outdated : to ⇐ for import aliases in syntax doc

2 files changed, 2 insertions, 2 deletions

diff --git a/doc/syntax.md b/doc/syntax.md
index 3fedee42..88434621 100644
--- a/doc/syntax.md
+++ b/doc/syntax.md
@@ -86,7 +86,7 @@ Assignment can be used inline in an expression, and its result is always the val
 
 The double arrow `⇐` is used to export variables from an immediate block or file. It can only be used in these contexts, and not in function or modifier blocks. There are two ways to export variables. First, `←` in the variable definition can be replaced with `⇐` to export the variable as it's defined. Second, an export statement consisting of an assignment target followed by `⇐` with nothing to the right exports the variables in the assignment target and does nothing else. Export statements can be placed anywhere in the relevant program or body, including before declaration or on the last line, and a given variable can be exported any number of times.
 
-    ⟨a:alias, b, c:c0‿c1, b:b2⟩←{
+    ⟨alias⇐a, b, c0‿c1⇐c, b2⇐b⟩←{
       b‿c⇐   # Non-definition exports can go anywhere
       a⇐2    # Define and export
       b←1+a
diff --git a/docs/doc/syntax.html b/docs/doc/syntax.html
index 88e006fc..b77b5660 100644
--- a/docs/doc/syntax.html
+++ b/docs/doc/syntax.html
@@ -151,7 +151,7 @@
 </pre>
 <h3 id="exports">Exports</h3>
 <p>The double arrow <code><span class='Gets'>⇐</span></code> is used to export variables from an immediate block or file. It can only be used in these contexts, and not in function or modifier blocks. There are two ways to export variables. First, <code><span class='Gets'>←</span></code> in the variable definition can be replaced with <code><span class='Gets'>⇐</span></code> to export the variable as it's defined. Second, an export statement consisting of an assignment target followed by <code><span class='Gets'>⇐</span></code> with nothing to the right exports the variables in the assignment target and does nothing else. Export statements can be placed anywhere in the relevant program or body, including before declaration or on the last line, and a given variable can be exported any number of times.</p>
-<pre><span class='Bracket'>⟨</span><span class='Value'>a:alias</span><span class='Separator'>,</span> <span class='Value'>b</span><span class='Separator'>,</span> <span class='Value'>c:c0</span><span class='Ligature'>‿</span><span class='Value'>c1</span><span class='Separator'>,</span> <span class='Value'>b:b2</span><span class='Bracket'>⟩</span><span class='Gets'>←</span><span class='Brace'>{</span>
+<pre><span class='Bracket'>⟨</span><span class='Value'>alias</span><span class='Gets'>⇐</span><span class='Value'>a</span><span class='Separator'>,</span> <span class='Value'>b</span><span class='Separator'>,</span> <span class='Value'>c0</span><span class='Ligature'>‿</span><span class='Value'>c1</span><span class='Gets'>⇐</span><span class='Value'>c</span><span class='Separator'>,</span> <span class='Value'>b2</span><span class='Gets'>⇐</span><span class='Value'>b</span><span class='Bracket'>⟩</span><span class='Gets'>←</span><span class='Brace'>{</span>
   <span class='Value'>b</span><span class='Ligature'>‿</span><span class='Value'>c</span><span class='Gets'>⇐</span>   <span class='Comment'># Non-definition exports can go anywhere
 </span>  <span class='Value'>a</span><span class='Gets'>⇐</span><span class='Number'>2</span>    <span class='Comment'># Define and export
 </span>  <span class='Value'>b</span><span class='Gets'>←</span><span class='Number'>1</span><span class='Function'>+</span><span class='Value'>a</span>