# HG changeset patch
# User wenzelm
# Date 1353778487 -3600
# Node ID 829ce6e03279521ec9fc963d1f3912dd40ba4bb2
# Parent  3ef3e3e7516609f7e5c38882206a96e53face6aa
more robust font for control symbols, to ensure these obscure codepoints are properly rendered;

diff -r 3ef3e3e75166 -r 829ce6e03279 etc/symbols
--- a/etc/symbols	Sat Nov 24 18:32:05 2012 +0100
+++ b/etc/symbols	Sat Nov 24 18:34:47 2012 +0100
@@ -350,13 +350,13 @@
 \<cedilla>              code: 0x0000b8
 \<hungarumlaut>         code: 0x0002dd
 \<some>                 code: 0x0003f5
-\<^sub>                 code: 0x0021e9  group: control  abbrev: =_
-\<^sup>                 code: 0x0021e7  group: control  abbrev: =^
-\<^isub>                code: 0x0021e3  group: control  abbrev: -_
-\<^isup>                code: 0x0021e1  group: control  abbrev: -^
-\<^bold>                code: 0x002759  group: control  abbrev: -.
-\<^bsub>                code: 0x0021d8  group: control_block  abbrev: =_(
-\<^esub>                code: 0x0021d9  group: control_block  abbrev: =_)
-\<^bsup>                code: 0x0021d7  group: control_block  abbrev: =^(
-\<^esup>                code: 0x0021d6  group: control_block  abbrev: =^)
+\<^sub>                 code: 0x0021e9  group: control  font: IsabelleText  abbrev: =_
+\<^sup>                 code: 0x0021e7  group: control  font: IsabelleText  abbrev: =^
+\<^isub>                code: 0x0021e3  group: control  font: IsabelleText  abbrev: -_
+\<^isup>                code: 0x0021e1  group: control  font: IsabelleText  abbrev: -^
+\<^bold>                code: 0x002759  group: control  font: IsabelleText  abbrev: -.
+\<^bsub>                code: 0x0021d8  group: control_block  font: IsabelleText  abbrev: =_(
+\<^esub>                code: 0x0021d9  group: control_block  font: IsabelleText  abbrev: =_)
+\<^bsup>                code: 0x0021d7  group: control_block  font: IsabelleText  abbrev: =^(
+\<^esup>                code: 0x0021d6  group: control_block  font: IsabelleText  abbrev: =^)