\<^raw> output is intended for LaTeX;

--- a/src/Pure/Thy/html.ML	Wed Sep 21 22:43:06 2016 +0200
+++ b/src/Pure/Thy/html.ML	Wed Sep 21 22:44:24 2016 +0200
@@ -48,11 +48,9 @@
 val no_symbols = make_symbols [];
 
 fun output_sym (Symbols tab) s =
-  if Symbol.is_raw s then Symbol.decode_raw s
-  else
-    (case Symtab.lookup tab s of
-      SOME x => x
-    | NONE => XML.text s);
+  (case Symtab.lookup tab s of
+    SOME x => x
+  | NONE => XML.text s);
 
 end;