diff -r 3b61d05eadad -r fb73c0d7bb37 src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Fri Jan 08 17:17:43 2016 +0100
+++ b/src/Pure/General/symbol.scala	Fri Jan 08 18:18:40 2016 +0100
@@ -471,7 +471,7 @@
     val sub_decoded = decode(sub)
     val sup_decoded = decode(sup)
     val bold_decoded = decode(bold)
-    val emph_decoded = decode("\\<^emph>")
+    val emph_decoded = decode(emph)
     val bsub_decoded = decode("\\<^bsub>")
     val esub_decoded = decode("\\<^esub>")
     val bsup_decoded = decode("\\<^bsup>")
@@ -560,6 +560,7 @@
   val sub = "\\<^sub>"
   val sup = "\\<^sup>"
   val bold = "\\<^bold>"
+  val emph = "\\<^emph>"
 
   def sub_decoded: Symbol = symbols.sub_decoded
   def sup_decoded: Symbol = symbols.sup_decoded