not in the character set supported by DocBook nor standard HTML.  (Sorry
Volkan.)  Also replace random character-set references by a pointer to
the actual standard.