>.
        Here's the syntax diagram:
      </p>
<div class="blockquote"><blockquote class="blockquote"><p>
          <span class="inlinemediaobject"><img src="../.././images/sequence.png" alt="sequence"></span>
        </p></blockquote></div>
<p>
        Here's a trivial example:
      </p>
<pre class="programlisting"><span class="char">'x'</span> <span class="identifier">digit</span>
</pre>
<p>
        which means the character <code class="computeroutput"><span class="identifier">x</span></code>
        