--- a/model/prov-dm.html	Thu Jun 14 07:34:52 2012 +0100
+++ b/model/prov-dm.html	Thu Jun 14 07:39:15 2012 +0100
@@ -93,7 +93,7 @@
           $(this).attr('data-count', mycount).prepend($('<div>').addClass('anexampleTitle')
                                                           //.append($('<a>').addClass('internalDFN').attr('href','#'+myid).append("Example " + mycount))
               .append("Example " + mycount)
-              .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append("&#9674;"))))
+              .append($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;"))))
               );
 
 
@@ -110,9 +110,9 @@
 
           var myid=$(this).addClass('internalDFN').attr('id');
 
-          $(this).after($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append("&#9674;"))));  //&#9674;//&#9830;
+          $(this).after($('<sup>').append($('<a>').addClass('internalDFN').attr('href','#'+myid).append($('<span>').addClass('diamond').append(" &#9674;"))));  //&#9674;//&#9830;
           
-              console.log( "dfn for " + myid + " ");
+//              console.log( "dfn for " + myid + " ");
 
         });
       }