       <div class="indent">
          <p>The symbol &quot;<span class="pdat">character</span>&quot; is a single
          character chosen from the list of <a href="#allowed_chars">allowed symbol characters</a>.
          The symbol character is required and is always the first field.
        </div>
        <h5>name</h5>
        <div class="indent">
          <p>The symbol &quot;<span class="pdat">name</span>&quot; is optional but it will
          make any outputs generated using this alphabet easier to un