Non-breking hyphen: \x15 is not output to HTML5 - as is \u2011
Sparky Anderson alias Doug writes to me:
<ParaLine
<String `Inserted by ESC,-, h (or ETB Insert Special Symbol): '>
<Char HardHyphen>
> # end of ParaLine
<ParaLine
<String `Inserted by Unicode: ‑'>
> # end of ParaLine
My editor tells that in the Unicode the character is U+2011
IMHO this is a bug - and I guess the 'equal' treatment of \x15 and \u2011 was requested long time ago be others already. - although I can not find a corresponding entry in the bug base.
In my experience \x15 is not a character but an FM function (see https://www.daube.ch/docu/files/compendium.pdf#page=493)
What is your opinion in this dilemma:
- It is an FM bug not to process \u2011 as non-breaking hyphen
- No, this is not a bug

