diff -r 391814730b40 -r 07c8d5d8acab src/Pure/General/symbol.scala
--- a/src/Pure/General/symbol.scala	Mon Oct 19 16:26:01 2015 +0200
+++ b/src/Pure/General/symbol.scala	Mon Oct 19 16:37:45 2015 +0200
@@ -451,6 +451,7 @@
     val bsup_decoded = decode("\\<^bsup>")
     val esup_decoded = decode("\\<^esup>")
     val bold_decoded = decode("\\<^bold>")
+    val emph_decoded = decode("\\<^emph>")
   }
 
 
@@ -533,4 +534,5 @@
   def bsup_decoded: Symbol = symbols.bsup_decoded
   def esup_decoded: Symbol = symbols.esup_decoded
   def bold_decoded: Symbol = symbols.bold_decoded
+  def emph_decoded: Symbol = symbols.emph_decoded
 }