# 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 @@ \ code: 0x0000b8 \ code: 0x0002dd \ 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: =^)