Update

spec/1.0/live/expressions/identifiers.html

@@ -174,6 +174,23 @@ <h1 class="menu-title">Jet Language Specification</h1>
                     <main>
                         <h1 id="identifiers"><a class="header" href="#identifiers">Identifiers</a></h1>
 <p><strong>Syntax</strong></p>
+<pre><code>x
+*
+q::x
+q::[k]     ;
+(q)::x     ;
+(q)::[k]   ;
+@x
+@[k]
+@q::x
+@q::[k]
+@(q)::x
+@(q)::[k]
+</code></pre>
+<p><em>Fixed versus dynamic</em>: the qualifiers <code>fixed</code> and <code>dynamic</code> are reserved, parenthesized or not.</p>
+<pre><code>o.fixed::x
+o.dynamic::x
+</code></pre>
 <table>
     <tr>
         <td colspan="2"><i>PropertyIdentifier</i></td>

spec/1.0/live/print.html

@@ -3641,6 +3641,23 @@ <h2 id="embedding-files"><a class="header" href="#embedding-files">Embedding fil
 <p>The syntactic grammar for expressions declares the β parameter, which is assigned either <code>allowIn</code> or <code>noIn</code>.</p>
 <div style="break-before: page; page-break-before: always;"></div><h1 id="identifiers"><a class="header" href="#identifiers">Identifiers</a></h1>
 <p><strong>Syntax</strong></p>
+<pre><code>x
+*
+q::x
+q::[k]     ;
+(q)::x     ;
+(q)::[k]   ;
+@x
+@[k]
+@q::x
+@q::[k]
+@(q)::x
+@(q)::[k]
+</code></pre>
+<p><em>Fixed versus dynamic</em>: the qualifiers <code>fixed</code> and <code>dynamic</code> are reserved, parenthesized or not.</p>
+<pre><code>o.fixed::x
+o.dynamic::x
+</code></pre>
 <table>
     <tr>
         <td colspan="2"><i>PropertyIdentifier</i></td>

spec/1.0/source/src/expressions/identifiers.md

@@ -2,6 +2,28 @@
 
 **Syntax**
 
+```
+x
+*
+q::x
+q::[k]     ;
+(q)::x     ;
+(q)::[k]   ;
+@x
+@[k]
+@q::x
+@q::[k]
+@(q)::x
+@(q)::[k]
+```
+
+*Fixed versus dynamic*: the qualifiers `fixed` and `dynamic` are reserved, parenthesized or not.
+
+```
+o.fixed::x
+o.dynamic::x
+```
+
 <table>
     <tr>
         <td colspan="2"><i>PropertyIdentifier</i></td>