Specify the convenience method for List multiple assignment

Add documentation and a example to specify and document List mulitple assignment.

infra.bs

@@ -1426,6 +1426,28 @@ out-of-bounds, except when used with <a for=list>exists</a>.
 "<code>b</code>", "<code>c</code>", "<code>a</code>" ». Then |example|[1] is the <a>string</a>
 "<code>b</code>".
 
+<p>For notational convenience, a multiple assignment syntax may be use to assign multiple variables
+to the <a>list</a>'s <a for=list>items</a>, by surrounding the variables to be assigned by « »
+characters and separating each variable name with a comma. To
+<dfn export for=list>assign multiple variables</dfn> from a <a>list</a> is to <a>Assert</a> that the
+<a>list</a>'s <a for=list>size</a> is the same as the number of variables to be assigned, and set
+each variable given to the value of the <a>list</a>'s <a for=list>item</a> at the corresponding
+index.
+
+<div class=example id=example-list-multiple-assignment>
+ <ol>
+  <li><p> Let |value| be the <a>list</a> « "<code>a</code>", "<code>b</code>", "<code>c</code>" ».
+
+  <li><p> Let « |a|, |b|, |c| » be |value|.
+
+  <li><p> <a>Assert</a>: |a| is "<code>a</code>"
+
+  <li><p> <a>Assert</a>: |b| is "<code>b</code>"
+
+  <li><p> <a>Assert</a>: |c| is "<code>c</code>"
+ </ol>
+</div>
+
 <hr>
 
 <p>To <dfn export for=list>append</dfn> to a <a>list</a> that is not an <a>ordered set</a> is to