4>
      <div class="indent">
        <p>Quoted text is used to describe things like the name
        of a symbol or the name of the alphabet and will be displayed in outputs. 
        They make the alphabet definition self documenting, and while they aren't,
        required they are highly recommended.</p>
        <p>There are a few restrictions on quoted text:</p>
        <ul>
          <li>Must begin and end with a double-quote character which designates the
          bounds and is not considered part o