@@ -19,6 +19,53 @@ ; Symbols to substitute with the corresponding links,
 ; if found in text.
 ("split" "run" "get" "puts") "symbol-links" :
 
+;; Syntax highlighting
+
+; Delimiters and replacements for syntax highlighting
+(
+    ";$" 
+    "#|$" 
+    "$|#" 
+    "$\"" 
+    "$0x" 
+    "$:" 
+    "$$"
+) "highlight-delimiters" :
+(
+    "<span class=\"hex-comment\">;" 
+    "<span class=\"hex-comment\">#|" 
+    "|#</span>" 
+    "<span class=\"hex-string\">\""
+    "<span class=\"hex-integer\">0x"
+    "<span class=\"hex-symbol\">"
+    "</span>"
+) "highlight-replacements" :
+
+; Highlight syntax in text
+(
+    "t-text" :
+    0x0 "t-count" :
+    (t-count highlight-delimiters len <)
+        (
+            t-text highlight-delimiters t-count get "t-delimiter" :
+            t-text highlight-replacements t-count get "t-replacement" :
+            (t-text t-delimiter index 0x0 >)
+                (
+                    t-text t-delimiter t-replacement replace "t-text" :
+                ) 
+            while
+            t-count 0x1 + "t-count" :
+        )
+    while
+    ; Push highlighted text on the stack
+    t-text
+    ; Free temporary symbols
+    "t-text" #
+    "t-count" #
+    "t-delimiter" #
+    "t-replacement" #
+) "highlight" :
+
 ; Convenience symbol for debugging
 (dup puts) "_" :
 
@@ -97,6 +144,8 @@ "releases" releases-content process-tag .
     "new-content" :
     ; Replace symbols with links
     symbol-links (new-content swap process-symbol . "new-content" :) each
+    ; Highlight syntax
+    new-content highlight . "new-content" :
     (fn-content "home.html" ==)
         (
             ; Process home page

@@ -120,8 +120,8 @@ margin: 0 0.5rem;
 }
 
 aside span {
-  display: flex;
-  align-items: center;
+    display: flex;
+    align-items: center;
 }
 
 article input {
@@ -165,3 +165,19 @@ color: white;
     padding: 0.25rem 0.5rem;
     border: 1px dotted gray;
 }
+
+span.hex-comment {
+    color: gray;
+}
+
+span.hex-string {
+    color: orange;
+}
+
+span.hex-integer {
+    color: lightgreen;
+}
+
+span.hex-symbol {
+    color: lightblue
+}

@@ -20,9 +20,11 @@ manipulate the stack.</li>
         <li>Fully <strong>homoiconic</strong> (everything is data).</li>
         <li>Includes a simple <strong>REPL</strong>.</li>
         <li>Includes an integrated <strong>help system</strong>.</li>
-        <li>Implemented as <strong>a single <a href="https://github.com/h3rald/hex/blob/master/src/hex.c" target="_blank">.c
+        <li>Implemented as <strong>a single <a href="https://github.com/h3rald/hex/blob/master/src/hex.c"
+                    target="_blank">.c
                     file</a> and a
-                single <a href="https://github.com/h3rald/hex/blob/master/src/hex.h" target="_blank">.h file</a></strong>,
+                single <a href="https://github.com/h3rald/hex/blob/master/src/hex.h" target="_blank">.h
+                    file</a></strong>,
             making it easier
             to
             embed in other programs and port to different platforms.</li>
@@ -31,7 +33,7 @@ <h3>Example</h3>
     <p> The following code executes the <em>ls</em> command, retrieves the files returned in standard output, and stores
         them
         inside a quotation that is then printed:</p>
-    <pre><code>"ls" run 0x1 get "&bsol;n" split puts</code></pre>
+    <pre><code>$"ls"$$ $:run$$ $0x1$$ $:get$$ $"&bsol;n"$$ $:split$$ $:puts$$</code></pre>
     <p>Note that <strong>no variable is used in the code above</strong>! Let's break it down:</p>
     <ul>
         <li>The string <code>"ls"</code> is pushed on the stack.</li>

@@ -2,9 +2,10 @@ <article>
   <h2>Playground</h2>
   <p>You can use the REPL below to try out hex directly in your browser. This is the <em>actual</em> hex REPL, compiled
     to <a href="https://webassembly.org">WebAssembly</a>.</p>
-  <p>For example, try entering the following code, which pushes the quotation <code>(0x1 0x8 0x1b)</code> on the stack:
+  <p>For example, try entering the following code, which pushes the quotation <code>($0x1$$ $0x8$$ $0x1b$$)</code> on
+    the stack:
   </p>
-  <pre><code>(0x1 0x2 0x3) (dup dup * *) map</code></pre>
+  <pre><code>($0x1$$ $0x2$$ $0x3$$) ($:dup$$ $:dup$$ $:*$$ $:*$$) $:map$$</code></pre>
   <section>
     <section></section>
     <aside>

@@ -28,13 +28,15 @@ different parts of a program.</p>
     <p>hex programs are written as sequences of whitespace-separated tokens. Tokens can be literals, symbols, or
         comments.</p>
     <p>This is an example of a simple hex program:</p>
-    <pre><code>    ; Filters a quotation to keep only the even numbers
-    (0x2 0x3 0x4 0x5 0x6) (0x2 % 0x0 ==) filter</code></pre>
+    <pre><code>    ;$ Filters a quotation to keep only the even numbers$$
+    ($0x2$$ $0x3$$ $0x4$$ $0x5$$ $0x6$$) ($0x2$$ $:%$$ $0x0$$ $:==$$) $:filter$$</code></pre>
     <p>This example includes:</p>
     <ul>
-        <li>One single-line comment: <code>; Filters a quotation to keep only the even numbers</code></li>
-        <li>Two quotations: <code>(0x2 0x3 0x4 0x5 0x6)</code> and <code>(0x2 % 0x0 ==)</code></li>
-        <li>Three symbols: <code>%</code>, <code>==</code>, and <code>filter</code></li>
+        <li>One single-line comment: <code>$; Filters a quotation to keep only the even numbers$$</code></li>
+        <li>Two quotations: <code>($0x2$$ $0x3$$ $0x4$$ $0x5$$ $0x6$$)</code> and
+            <code>($0x2$$ $:%$$ $0x0$$ $:==$$)</code>
+        </li>
+        <li>Three symbols: <code>$:%$$</code>, <code>$:==$$</code>, and <code>$:filter$$</code></li>
     </ul>
     <h4 id="comments">Comments</h4>
 
@@ -45,18 +47,18 @@ <h5 id="single-line-comments">Single-line Comments</h5>
     <p>Single-line comments start with a semicolon (<code>;</code>) and continue until the end of the line. Everything
         after the semicolon is ignored.</p>
     <p>Example:</p>
-    <pre><code>    ; This is a single-line comment
-    0x2 0x3 + ; This adds 0x2 and 0x3</code></pre>
+    <pre><code>    ;$ This is a single-line comment$$
+    $0x2$$ $0x3$$ $:+$$ ;$ This adds 0x2 and 0x3$</code></pre>
 
     <h5 id="multi-line-comments">Multi-line Comments</h5>
     <p>Multi-line comments start with <code>#|</code> and end with <code>|#</code>. Everything between these markers is
         ignored, allowing comments to span multiple lines.</p>
     <p>Example:</p>
-    <pre><code>    #|
+    <pre><code>    #|$
       This is a multi-line comment
       It can span multiple lines
-    |#
-    0x2 0x3 + #| This adds 0x2 and 0x3 |#</code></pre>
+    $|#
+    $0x2$$ $0x3$$ $:+$$ #|$ This adds 0x2 and 0x3 $|#</code></pre>
     <h4 id="integer-literals">Integer Literals</h4>
     <p>Integer literals in hex are always written in hexadecimal form, prefixed with <code>0x</code>. They can contain
         up to 8 hexadecimal digits, representing 32-bit integers. Hexadecimal digits include the numbers
@@ -68,10 +70,10 @@ href="https://en.wikipedia.org/wiki/Two%27s_complement" target="_blank">two's complement</a> representation.
         For more information on two's complement, see .</p>
     <p>Examples:</p>
     <ul>
-        <li><code>0x1</code> represents the decimal value 1.</li>
-        <li><code>0xa</code> represents the decimal value 10.</li>
-        <li><code>0x1f</code> represents the decimal value 31.</li>
-        <li><code>0xffffffff</code> represents the decimal value -1 (in two's complement).</li>
+        <li><code>$0x1$$</code> represents the decimal value 1.</li>
+        <li><code>$0xa$$</code> represents the decimal value 10.</li>
+        <li><code>$0x1f$$</code> represents the decimal value 31.</li>
+        <li><code>$0xffffffff$$</code> represents the decimal value -1 (in two's complement).</li>
     </ul>
     <p>Integers are case-insensitive; typically, lowercase letters are preferred but not mandatory.</p>
     <h4 id="string-literals">String Literals</h4>
@@ -89,15 +91,16 @@ <li><code>&#92;&#92;</code> - Backslash</li>
         <li><code>&#92;"</code> - Double quote</li>
     </ul>
     <p>Example:</p>
-    <pre><code>"Hello, World!\nThis is a new line."</code></pre>
+    <pre><code>$"Hello, World!&bsol;nThis is a new line."$$</code></pre>
     <h4 id="quotation-literals">Quotation Literals</h4>
     <p>Quotations in hex are delimited by parentheses (they must start with <code>(</code> and end with <code>)</code>).
         They can contain integers, strings, symbols, and
         even other quotations, allowing for nested structures.</p>
     <p>Examples:</p>
     <ul>
-        <li><code>(0x1 0x2 0x3)</code> - A quotation containing three integer literals.</li>
-        <li><code>(0x1 "hello" (0x2 0x3))</code> - A nested quotation containing an integer, a string, and another
+        <li><code>($0x1$$ $0x2$$ $0x3$$)</code> - A quotation containing three integer literals.</li>
+        <li><code>($0x1$$ $"hello"$$ ($0x2$$ $0x3$$))</code> - A nested quotation containing an integer, a string, and
+            another
             quotation.</li>
     </ul>
     <p>Unlike string literals, quotations can span multiple lines, making them suitable for representing complex data
@@ -124,257 +127,257 @@ <h4 id="pushing-symbols">Pushing Symbols</h4>
     <h3 id="registry">Registry</h3>
     <h3 id="native-symbols">Native Symbols</h3>
     <h4 id="memory-management-symbols">Memory Management Symbols</h4>
-    <h5 id="store-symbol"><code>:</code> Symbol</h5>
+    <h5 id="store-symbol"><code>$::$$</code> Symbol</h5>
     <p><mark>a s &rarr;</mark></p>
     <p>Stores the literal <code>a</code> in the registry as the symbol <code>s</code>.</p>
-    <h5 id="free-symbol"><code>#</code> Symbol</h5>
+    <h5 id="free-symbol"><code>$:#$$</code> Symbol</h5>
     <p><mark>s &rarr;</mark></p>
     <p>Frees the symbol <code>s</code> from the registry.</p>
     <h4 id="control-flow-symbols">Control Flow Symbols</h4>
-    <h5 id="if-symbol"><code>if</code> Symbol</h5>
+    <h5 id="if-symbol"><code>$:if$$</code> Symbol</h5>
     <p><mark>q1 q2 q3 &rarr; *</mark></p>
     <p>Dequotes quotation <code>q1</code>, if it pushes a positive integer on the stack it dequotes <code>q2</code>,
         otherwise
         dequotes <code>q3</code>.</p>
-    <h5 id="when-symbol"><code>when</code> Symbol</h5>
+    <h5 id="when-symbol"><code>$:when$$</code> Symbol</h5>
     <p><mark>q1 q2 &rarr; *</mark></p>
     <p>Dequotes quotation <code>q1</code>, if it pushes a positive integer on the stack it dequotes <code>q2</code>.
     </p>
-    <h5 id="while-symbol"><code>while</code> Symbol</h5>
+    <h5 id="while-symbol"><code>$:while$$</code> Symbol</h5>
     <p><mark>q1 q2 &rarr; *</mark></p>
     <p>Dequotes quotation <code>q1</code>, if it pushes a positive integer on the stack it dequotes <code>q2</code>
         and
         repeats the process.</p>
-    <h5 id="error-symbol"><code>error</code> Symbol</h5>
+    <h5 id="error-symbol"><code>$:error$$</code> Symbol</h5>
     <p><mark>&rarr; s</mark></p>
     <p>Pushes the last error message to the stack.</p>
-    <h5 id="try-symbol"><code>try</code> Symbol</h5>
+    <h5 id="try-symbol"><code>$:try$$</code> Symbol</h5>
     <p><mark>q1 q2 &rarr; *</mark></p>
     <p>Dequotes quotation <code>q1</code>, if it throws an error it dequotes <code>q2</code>.</p>
     <h4 id="stack-management-symbols">Stack Management Symbol</h4>
-    <h5 id="dup-symbol"><code>dup</code> Symbol</h5>
+    <h5 id="dup-symbol"><code>$:dup$$</code> Symbol</h5>
     <p><mark> a &rarr; a a</mark></p>
     <p>Duplicates literal <code>a</code> and pushes it on the stack.</p>
-    <h5 id="stack-symbol"><code>stack</code> Symbol</h5>
+    <h5 id="stack-symbol"><code>$:stack$$</code> Symbol</h5>
     <p><mark> &rarr; q</mark></p>
     <p>Pushes the items currently on the stack as a quotation on the stack.</p>
-    <h5 id="clear-symbol"><code>clear</code> Symbol</h5>
+    <h5 id="clear-symbol"><code>$:clear$$</code> Symbol</h5>
     <p><mark> &rarr;</mark></p>
     <p>Clears the stack.</p>
-    <h5 id="pop-symbol"><code>pop</code> Symbol</h5>
+    <h5 id="pop-symbol"><code>$:pop$$</code> Symbol</h5>
     <p><mark> a &rarr;</mark></p>
     <p>Removes the top item from the stack.</p>
-    <h5 id="swap-symbol"><code>swap</code> Symbol</h5>
+    <h5 id="swap-symbol"><code>$:swap$$</code> Symbol</h5>
     <p><mark> a1 a2 &rarr; a2 a1</mark></p>
     <p>Swaps the top two items on the stack.</p>
     <h4 id="evaluation-symbols">Evaluation Symbols</h4>
-    <h5 id="i-symbol"><code>.</code> Symbol</h5>
+    <h5 id="i-symbol"><code>$:.$$</code> Symbol</h5>
     <p><mark>q &rarr; *</mark></p>
     <p>Dequotes quotation <code>q</code>.</p>
-    <h5 id="eval-symbol"><code>!</code> Symbol</h5>
+    <h5 id="eval-symbol"><code>$:!$$</code> Symbol</h5>
     <p><mark>s &rarr;</mark></p>
     <p>Evaluates the string <code>s</code> as an hex program.</p>
-    <h5 id="quote-symbol"><code>&#39;</code> Symbol</h5>
+    <h5 id="quote-symbol"><code>$:&#39; $$</code> Symbol</h5>
     <p><mark>a &rarr; q</mark></p>
     <p>Pushes the literal <code>a</code> wrapped in a quotation on the stack.</p>
     <h4 id="arithmetic-symbols">Arithmetic Symbols</h4>
-    <h5 id="add-symbol"><code>+</code> Symbol</h5>
+    <h5 id="add-symbol"><code>$:+$$</code> Symbol</h5>
     <p><mark> i1 i2 &rarr; i</mark></p>
     <p>Pushes the result of the sum of <code>i1</code> and <code>i2</code> on the stack.</p>
-    <h5 id="subtract-symbol"><code>-</code> Symbol</h5>
+    <h5 id="subtract-symbol"><code>$:-$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of the subtraction of <code>12</code> from <code>i1</code> on the stack.</p>
-    <h5 id="multiply-symbol"><code>*</code> Symbol</h5>
+    <h5 id="multiply-symbol"><code>$:*$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of the multiplication of <code>i1</code> and <code>12</code> on the stack.</p>
-    <h5 id="divide-symbol"><code>/</code> Symbol</h5>
+    <h5 id="divide-symbol"><code>$:/$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of the division of <code>i1</code> by <code>12</code> on the stack.</p>
-    <h5 id="modulo-symbol"><code>%</code> Symbol</h5>
+    <h5 id="modulo-symbol"><code>$:%$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of the modulo of <code>i1</code> by <code>12</code> on the stack.</p>
     <h4 id="bitwise-operations-symbols">Bitwise Operations Symbols</h4>
-    <h5 id="bitwise-and-symbol"><code>&amp;</code> Symbol</h5>
+    <h5 id="bitwise-and-symbol"><code>$:&amp; $$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of a bitwise and of <code>i1</code> and <code>i2</code> on the stack.</p>
-    <h5 id="bitwise-or-symbol"><code>|</code> Symbol</h5>
+    <h5 id="bitwise-or-symbol"><code>$:|$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of a bitwise or of <code>i1</code> and <code>i2</code> on the stack.</p>
-    <h5 id="bitwise-xor-symbol"><code>^</code> Symbol</h5>
+    <h5 id="bitwise-xor-symbol"><code>$:^$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of a bitwise xor of <code>i1</code> and <code>i2</code> on the stack.</p>
-    <h5 id="bitwise-not-symbol"><code>~</code> Symbol</h5>
+    <h5 id="bitwise-not-symbol"><code>$:~$$</code> Symbol</h5>
     <p><mark> i &rarr; i</mark></p>
     <p>Pushes the result of a bitwise not of <code>i</code> on the stack.</p>
-    <h5 id="bitwise-leftshift-symbol"><code>&lt;&lt;</code> Symbol</h5>
+    <h5 id="bitwise-leftshift-symbol"><code>$:&lt;&lt; $$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of shifting <code>i1</code> by <code>i2</code> bits to the left.</p>
-    <h5 id="bitwise-rightshift-symbol"><code>&gt;&gt;</code> Symbol</h5>
+    <h5 id="bitwise-rightshift-symbol"><code>$:&gt;&gt; $$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes the result of shifting <code>i1</code> by <code>i2</code> bits to the right.</p>
     <h4 id="comparisons-symbols">Comparisons Symbols</h4>
-    <h5 id="equal-symbol"><code>==</code> Symbol</h5>
+    <h5 id="equal-symbol"><code>$:==$$</code> Symbol</h5>
     <p><mark> a1 a2 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>a1</code> and <code>a2</code> are equal, or <code>0x0</code>
         otherwise.</p>
-    <h5 id="notequal-symbol"><code>!=</code> Symbol</h5>
+    <h5 id="notequal-symbol"><code>$:!=$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>a1</code> and <code>a2</code> are not equal, or
         <code>0x0</code>
         otherwise.
     </p>
-    <h5 id="greaterthan-symbol"><code>&gt;</code> Symbol</h5>
+    <h5 id="greaterthan-symbol"><code>$:&gt; $$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> is greater than <code>i2</code>, or <code>0x0</code>
         otherwise.</p>
-    <h5 id="lessthan-symbol"><code>&lt;</code> Symbol</h5>
+    <h5 id="lessthan-symbol"><code>$:&lt; $$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> is less than <code>i2</code>, or <code>0x0</code>
         otherwise.</p>
-    <h5 id="greaterthanequal-symbol"><code>&gt;=</code> Symbol</h5>
+    <h5 id="greaterthanequal-symbol"><code>$:&gt;=$$</code> Symbol</h5>
     <p><mark> i1 12 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> is greater than or equal to <code>i2</code>, or
         <code>0x0</code> otherwise.
     </p>
-    <h5 id="lessthanequal-symbol"><code>&lt;=</code> Symbol</h5>
+    <h5 id="lessthanequal-symbol"><code>$:&lt;=$$</code> Symbol</h5>
     <p><mark> i1 i2 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> is less than or equal to <code>i2</code>, or
         <code>0x0</code> otherwise.
     </p>
     <h4 id="boolean-logic-symbols">Boolean Logic Symbols</h4>
-    <h5 id="and-symbol"><code>and</code> Symbol</h5>
+    <h5 id="and-symbol"><code>$:and$$</code> Symbol</h5>
     <p><mark> i1 i2 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> and <code>i2</code> are non-zero integers, or
         <code>0x0</code> otherwise.
     </p>
-    <h5 id="or-symbol"><code>or</code> Symbol</h5>
+    <h5 id="or-symbol"><code>$:or$$</code> Symbol</h5>
     <p><mark> i1 i2 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> or <code>i2</code> are non-zero integers, or
         <code>0x0</code> otherwise.
     </p>
-    <h5 id="not-symbol"><code>not</code> Symbol</h5>
+    <h5 id="not-symbol"><code>$:not$$</code> Symbol</h5>
     <p><mark> i &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i</code> is zero, or <code>0x0</code> otherwise.</p>
-    <h5 id="xor-symbol"><code>xor</code> Symbol</h5>
+    <h5 id="xor-symbol"><code>$:xor$$</code> Symbol</h5>
     <p><mark> i1 i2 &rarr; i</mark></p>
     <p>Pushes <code>0x1</code> on the stack if <code>i1</code> and <code>i2</code> are different, or
         <code>0x0</code>
         otherwise.
     </p>
     <h4 id="type-checking-and-conversion-symbols">Type Checking and Conversion Symbols</h4>
-    <h5 id="int-symbol"><code>int</code> Symbol</h5>
+    <h5 id="int-symbol"><code>$:int$$</code> Symbol</h5>
     <p><mark>s &rarr; i</mark></p>
     <p>Converts the string <code>s</code> representing a hexadecimal integer to an integer value and pushes it on
         the
         stack.</p>
-    <h5 id="str-symbol"><code>str</code> Symbol</h5>
+    <h5 id="str-symbol"><code>$:str$$</code> Symbol</h5>
     <p><mark> i &rarr; s</mark></p>
     <p>Converts the integer <code>i</code> to a string representing a hexadecimal integer and pushes it on the
         stack.
     </p>
-    <h5 id="dec-symbol"><code>dec</code> Symbol</h5>
+    <h5 id="dec-symbol"><code>$:dec$$</code> Symbol</h5>
     <p><mark> i &rarr; s</mark></p>
     <p>Converts the integer <code>i</code> to a string representing a decimal integer and pushes it on the stack.
     </p>
-    <h5 id="hex-symbol"><code>hex</code> Symbol</h5>
+    <h5 id="hex-symbol"><code>$:hex$$</code> Symbol</h5>
     <p><mark> s &rarr; i</mark></p>
     <p>Converts the string <code>s</code> representing a decimal integer to an integer value and pushes it on the
         stack.
     </p>
-    <h5 id="ord-symbol"><code>ord</code> Symbol</h5>
+    <h5 id="ord-symbol"><code>$:ord$$</code> Symbol</h5>
     <p><mark> s &rarr; i</mark></p>
     <p>Pushes the ASCII value of the string <code>s</code> on the stack.</p>
-    <p>If <code>s</code> is longer than 1 character or if it is not representable using an ASCII code between 0x0
+    <p>If <code>s</code> is longer than 1 character or if it is not representable using an ASCII code between $0x0$$
         and
-        0x7f, <code>0xffffffff</code> is pushed on the stack.</p>
-    <h5 id="chr-symbol"><code>chr</code> Symbol</h5>
+        $0x7f$$, <code>$0xffffffff$$</code> is pushed on the stack.</p>
+    <h5 id="chr-symbol"><code>$:chr$$</code> Symbol</h5>
     <p><mark> i &rarr; s</mark></p>
     <p>Pushes the ASCII character represented by the integer <code>i</code> on the stack.</p>
-    <p>If <code>i</code> is not between 0x0 and 0x7f, an empty string is pushed on the stack.</p>
-    <h5 id="type-symbol"><code>type</code> Symbol</h5>
+    <p>If <code>i</code> is not between $0x0$$ and $0x7f$$, an empty string is pushed on the stack.</p>
+    <h5 id="type-symbol"><code>$:type$$</code> Symbol</h5>
     <p><mark> a &rarr; s</mark></p>
     <p>Pushes the type of the literal <code>a</code> on the stack (<code>integer</code>, <code>string</code>,
         <code>quotation</code>, <code>native-symbol</code>, <code>user-symbol</code>, <code>invalid</code>, or
         <code>unknown</code>).
     </p>
     <h4 id="list-symbols">List (Strings and Quotations) Symbols</h4>
-    <h5 id="cat-symbol"><code>cat</code> Symbol</h5>
+    <h5 id="cat-symbol"><code>$:cat$$</code> Symbol</h5>
     <p><mark> (s1 s2|q1 q2) &rarr; (s|q)</mark></p>
     <p>Pushes the result of the concatenation of two strings or two quotations on the stack.</p>
-    <h5 id="len-symbol"><code>len</code> Symbol</h5>
+    <h5 id="len-symbol"><code>$:len$$</code> Symbol</h5>
     <p><mark> (s|q) &rarr; i</mark></p>
     <p>Pushes the length of a string or a quotation on the stack.</p>
-    <h5 id="get-symbol"><code>get</code> Symbol</h5>
+    <h5 id="get-symbol"><code>$:get$$</code> Symbol</h5>
     <p><mark> (s|q) i &rarr; a</mark></p>
     <p>Pushes the <code>i</code>th item of a string or a quotation on the stack.</p>
-    <h5 id="index-symbol"><code>index</code> Symbol</h5>
+    <h5 id="index-symbol"><code>$:index$$</code> Symbol</h5>
     <p><mark> (s a|q a) &rarr; i</mark></p>
     <p>Pushes the index of the first occurrence of the literal <code>a</code> in a string or a quotation on the
         stack.
-        If <code>a</code> is not found, <code>0xffffffff</code> is pushed on the stack.</p>
-    <h5 id="join-symbol"><code>join</code> Symbol</h5>
+        If <code>a</code> is not found, <code>$0xffffffff$$</code> is pushed on the stack.</p>
+    <h5 id="join-symbol"><code>$:join$$</code> Symbol</h5>
     <p><mark> q s1 &rarr; s2</mark></p>
     <p>Assuming that <code>q</code> is a quotation containing only strings, pushes the string <code>s2</code>
         obtained
         by joining each element of <code>q</code> together using <code>s1</code> as a delimiter. </p>
     <h4 id="string-symbols">String Symbols</h4>
-    <h5 id="split-symbol"><code>split</code> Symbol</h5>
+    <h5 id="split-symbol"><code>$:split$$</code> Symbol</h5>
     <p><mark> s1 s2 &rarr; q</mark></p>
     <p>Pushes a quotation <code>q</code> containing the strings obtained by splitting <code>s1</code> using
         <code>s2</code> as a delimiter.
     </p>
-    <h5 id="replace-symbol"><code>replace</code> Symbol</h5>
+    <h5 id="replace-symbol"><code>$:replace$$</code> Symbol</h5>
     <p><mark> s1 s2 s3 &rarr; s4</mark></p>
     <p>Pushes the string <code>s4</code> obtained by replacing the first occurrence of <code>s2</code> in
         <code>s1</code> by
         <code>s3</code>.
     </p>
     <h4 id="quotation-symbols">Quotation Symbols</h4>
-    <h5 id="each-symbol"><code>each</code> Symbol</h5>
+    <h5 id="each-symbol"><code>$:each$$</code> Symbol</h5>
     <p><mark> q1 q2 &rarr; *</mark></p>
     <p>Dequotes quotation <code>q1</code> and applies it to each item of quotation <code>q2</code>.</p>
-    <h5 id="map-symbol"><code>map</code> Symbol</h5>
+    <h5 id="map-symbol"><code>$:map$$</code> Symbol</h5>
     <p><mark> q1 q2 &rarr; q3</mark></p>
     <p>Dequotes quotation <code>q1</code> and applies it to each item of quotation <code>q2</code> to obtain a new
         quotation <code>q3</code>.
-    <h5 id="filter-symbol"><code>filter</code> Symbol</h5>
+    <h5 id="filter-symbol"><code>$:filter$$</code> Symbol</h5>
     <p><mark> q1 q2 &rarr; q</mark></p>
     <p>Dequotes quotation <code>q1</code> and applies it to each item of quotation <code>q2</code> to obtain a new
         quotation <code>q</code> containing only the items that returned a positive integer.</p>
     <h4 id="input-output-symbols">Input/Output Symbols</h4>
-    <h5 id="puts-symbol"><code>puts</code> Symbol</h5>
+    <h5 id="puts-symbol"><code>$:puts$$</code> Symbol</h5>
     <p><mark> a &rarr;</mark></p>
     <p>Prints <code>a</code> to standard output, followed by a new line.</p>
-    <h5 id="warn-symbol"><code>warn</code> Symbol</h5>
+    <h5 id="warn-symbol"><code>$:warn$$</code> Symbol</h5>
     <p><mark> a &rarr;</mark></p>
     <p>Prints <code>a</code> to standard error, followed by a new line.</p>
-    <h5 id="print-symbol"><code>print</code> Symbol</h5>
+    <h5 id="print-symbol"><code>$:print$$</code> Symbol</h5>
     <p><mark> a &rarr;</mark></p>
     <p>Prints <code>a</code> to standard output.</p>
-    <h5 id="gets-symbol"><code>gets</code> Symbol</h5>
+    <h5 id="gets-symbol"><code>$:gets$$</code> Symbol</h5>
     <p><mark> &rarr; s</mark></p>
     <p>Reads a line from standard input and pushes it on the stack as a string.</p>
     <h4 id="file-symbols">File Symbols</h4>
-    <h5 id="read-symbol"><code>read</code> Symbol</h5>
+    <h5 id="read-symbol"><code>$:read$$</code> Symbol</h5>
     <p><mark>s1 &rarr; s2</mark></p>
     <p>Reads the content of the file <code>s1</code> and pushes it on the stack as a string.</p>
-    <h5 id="write-symbol"><code>write</code> Symbol</h5>
+    <h5 id="write-symbol"><code>$:write$$</code> Symbol</h5>
     <p><mark>s1 s2 &rarr;</mark></p>
     <p>Writes the string <code>s1</code> to the file <code>s2</code>.
-    <h5 id="append-symbol"><code>append</code> Symbol</h5>
+    <h5 id="append-symbol"><code>$:append$$</code> Symbol</h5>
     <p><mark> s1 s2 &rarr;</mark></p>
     <p>Appends the string <code>s1</code> to the file <code>s2</code>.</p>
     <h4 id="shell-symbols">Shell Symbols</h4>
-    <h5 id="args-symbol"><code>args</code> Symbol</h5>
+    <h5 id="args-symbol"><code>$:args$$</code> Symbol</h5>
     <p><mark> &rarr; q</mark></p>
     <p>Pushes the command line arguments as a quotation on the stack.</p>
-    <h5 id="exit-symbol"><code>exit</code> Symbol</h5>
+    <h5 id="exit-symbol"><code>$:exit$$</code> Symbol</h5>
     <p><mark> i &rarr;</mark></p>
     <p>Exits the program with the exit code <code>i</code>.</p>
-    <h5 id="exec-symbol"><code>exec</code> Symbol</h5>
+    <h5 id="exec-symbol"><code>$:exec$$</code> Symbol</h5>
     <p><mark> s &rarr;</mark></p>
     <p>Executes the string <code>s</code> as a shell command.</p>
-    <h5 id="run-symbol"><code>run</code> Symbol</h5>
+    <h5 id="run-symbol"><code>$:run$$</code> Symbol</h5>
     <p><mark> s &rarr; q</mark></p>
     <p>Executes the string <code>s</code> as a shell command, capturing its output and errors. It pushes a quotation
         on