">#</code>"
          character.</li>
          <li>One or more digits in the range
          <code title="U+0030 DIGIT ZERO&#8211;U+0039 DIGIT NINE">0&#8211;9</code>,
          representing a base-ten integer that itself is a Unicode
          code point that is not
          U+0000,
          U+000D,
          in the range U+0080&#8211;U+009F,
          or in the range 0xD8000&#8211;0xDFFF (surrogates).</li>
          <li>A
          "<code title="U+003B SEMICOLON">;</code>"
          character.</li>
    