--- a/etc/symbols Wed Nov 04 17:14:17 2015 +0100
+++ b/etc/symbols Wed Nov 04 18:14:28 2015 +0100
@@ -326,7 +326,6 @@
\<ordfeminine> code: 0x0000aa
\<ordmasculine> code: 0x0000ba
\<section> code: 0x0000a7
-\<paragraph> code: 0x0000b6
\<exclamdown> code: 0x0000a1
\<questiondown> code: 0x0000bf
\<euro> code: 0x0020ac
@@ -359,6 +358,7 @@
\<^item> code: 0x0025aa group: control font: IsabelleText
\<^enum> code: 0x0025b8 group: control font: IsabelleText
\<^descr> code: 0x0027a7 group: control font: IsabelleText
+\<^footnote> code: 0x0000b6 group: control
\<^verbatim> code: 0x0025a9 group: control font: IsabelleText
\<^emph> code: 0x002217 group: control font: IsabelleText
\<^bold> code: 0x002759 group: control font: IsabelleText