src/Pure/Thy/presentation.scala

           (List(HTML.par(body1)), offset)
         case XML.Elem(Markup(Markup.MARKDOWN_ITEM, _), body) =>
           val (body1, offset) = html_body(body, end_offset)
           (List(HTML.item(body1)), offset)
         case XML.Elem(Markup(Markup.Markdown_Bullet.name, _), text) =>
-          (Nil, end_offset - Symbol.length(Symbol.decode(XML.content(text))))
+          (Nil, end_offset - Symbol.length(XML.content(text)))
         case XML.Elem(Markup.Markdown_List(kind), body) =>
           val (body1, offset) = html_body(body, end_offset)
           if (kind == Markup.ENUMERATE) (List(HTML.enum(body1)), offset)
           else (List(HTML.list(body1)), offset)
         case XML.Elem(markup, body) =>

           Rendering.foreground.get(name) orElse Rendering.text_color.get(name) match {
             case Some(c) => (html_class(c.toString, html), offset)
             case None => (html_class(name, html), offset)
           }
         case XML.Text(text) =>
-          val decoded = Symbol.decode(text)
-          val offset = end_offset - Symbol.length(decoded)
-          val body = HTML.text(decoded)
+          val offset = end_offset - Symbol.length(text)
+          val body = HTML.text(Symbol.decode(text))
           entity_anchor(context, Text.Range(offset, end_offset), body) match {
             case Some(body1) => (List(body1), offset)
             case None => (body, offset)
           }
       }
 
-    html_body(xml, Symbol.length(Symbol.decode(XML.content(xml))) + 1)._1
+    html_body(xml, Symbol.length(XML.content(xml)) + 1)._1
   }
 
 
   /* PIDE HTML document */