/a>
  <ul class="toc">
    <li><a name="toc-Alphabet-1" href="manual_13.html#Alphabet">13.1 Alphabet</a></li>
    <li><a name="toc-Grammar-1" href="manual_13.html#Grammar">13.2 Grammar</a>
    <ul class="toc">
      <li><a name="toc-Constants-and-Typed-Variables-1" href="manual_13.html#Constants-and-Typed-Variables">13.2.1 Constants and Typed Variables</a></li>
      <li><a name="toc-Terms-1" href="manual_13.html#Terms">13.2.2 Terms</a></li>
      <li><a name="toc-Sentences-1" href="manual_13.html#Sentences