etc/symbols
changeset 61571 9c50eb3bff50
parent 61501 42afc789add8
child 61579 634cd44bb1d3
--- 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