--- a/etc/symbols Wed Nov 11 19:22:18 2015 +0100
+++ b/etc/symbols Thu Nov 12 11:30:56 2015 +0100
@@ -363,6 +363,7 @@
\<^descr> code: 0x0027a7 group: control font: IsabelleText
\<^footnote> code: 0x00204b group: control font: IsabelleText
\<^verbatim> code: 0x0025a9 group: control font: IsabelleText
+\<^theory_text> code: 0x002b1a group: control font: IsabelleText
\<^emph> code: 0x002217 group: control font: IsabelleText
\<^bold> code: 0x002759 group: control font: IsabelleText
\<^sub> code: 0x0021e9 group: control font: IsabelleText