diff -r acc4bd79e2e9 -r 2b58d7b139d6 src/Pure/General/pretty.scala
--- a/src/Pure/General/pretty.scala	Thu Mar 28 16:11:48 2013 +0100
+++ b/src/Pure/General/pretty.scala	Thu Mar 28 22:42:18 2013 +0100
@@ -74,7 +74,7 @@
   val FBreak = XML.Text("\n")
 
   def item(body: XML.Body): XML.Tree =
-    Block(2, XML.Text(Symbol.decode("\\<bullet>") + " ") :: body)
+    Block(2, XML.elem(Markup.BULLET, List(XML.Text(space))) :: XML.Text(space) :: body)
 
   val Separator = List(XML.elem(Markup.SEPARATOR, List(XML.Text(space))), FBreak)
   def separate(ts: List[XML.Tree]): XML.Body = Library.separate(Separator, ts.map(List(_))).flatten