cex: use the bullet in HTML

* data/xslt/xml2xhtml.xsl: here.

TODO

@@ -41,6 +41,11 @@ Use "•" instead of ".".
 Not all the conflicts have counterexamples generated.  See the "break"s in
 counterexample_report_state.
 
+*** point, dot
+We have too many names.  In XML we use "point", in C "dot".  A traditional
+more accurate name of "item" is "pointed rule", so we should probably prefer
+"point" to "dot".
+
 ** Bistromathic
 - Hitting tab on a line with a syntax error is ugly
 

data/xslt/xml2xhtml.xsl

@@ -531,12 +531,12 @@
   <xsl:for-each select="rhs/*">
     <xsl:if test="position() = $point + 1">
       <xsl:text> </xsl:text>
-      <span class="point">.</span>
+      <span class="point">&#x2022;</span>
     </xsl:if>
     <xsl:apply-templates select="."/>
     <xsl:if test="position() = last() and position() = $point">
       <xsl:text> </xsl:text>
-      <span class="point">.</span>
+      <span class="point">&#x2022;</span>
     </xsl:if>
   </xsl:for-each>
   <xsl:if test="$lookaheads">