<div dir="ltr"><br><div class="gmail_quote">2014-03-07 1:20 GMT+02:00  <span dir="ltr"><<a href="mailto:mskala@ansuz.sooke.bc.ca" target="_blank">mskala@ansuz.sooke.bc.ca</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="">On Thu, 6 Mar 2014, Richard Wordingham wrote:<br>
> On Thu, 6 Mar 2014 22:38:07 +0200<br>
> Konstantin Ritt <<a href="mailto:ritt.ks@gmail.com">ritt.ks@gmail.com</a>> wrote:<br>
><br>
> > Did you meet any single font with glyph for U+0008 (BS)? Honestly, I<br>
> > don't imagine what U+0008 glyph representation looks like :)<br>
><br>
> Back one space!  The underlining in Unix man pages is usually<br>
> implemented as overstrike via U+0008.  However, I'd forgotten that<br>
> OpenType advance widths can't be negative, so it can't be rendered<br>
> under font control.<br>
<br>
</div>ECMA-17, or ISO 2047, is now withdrawn, but it specified a graphical<br>
symbol for the control character we now call U+0008.  The symbol<br>
looked like an arrow running from lower right to upper left, with a<br>
slight concave-downward curve.  You can find a copy of the document here:<br>
   <a href="http://www.ecma-international.org/publications/files/ECMA-ST-WITHDRAWN/ECMA-17,%201st%20Edition,%20November%201968.pdf" target="_blank">http://www.ecma-international.org/publications/files/ECMA-ST-WITHDRAWN/ECMA-17,%201st%20Edition,%20November%201968.pdf</a><br>


<span class=""><font color="#888888"><br></font></span></blockquote><div><br></div><div>Cool!</div><div>The p2. "PURPOSE" states almost literally the same what I was describing by</div><div>> 2) A "show document structure" rendering option, where some normally invisible characters are handled by a special font (i.e. to visualize some control characters, BiDi format characters, objects, etc.)</div>

<div>This is a use-case I do care about, too.</div><div><br></div><div>Perhaps we'll need a separate flag to be able to choose between "hide <GC=Cc>" and "hide 
<GC=Cc>
 iff not present in the font".</div><div><br></div></div></div>