wrong rendering of certain HTML entities

Hi!

Before I am going to raise an issue, I would like to see whether this is
only a problem on my computer.

Internet Explorer 7 does not seem to render the HTML 4 entites "⟨" and
"⟩" correctly. These entites are used for displaying n-tuples in
several of our technical documents, at least in

  * Direct Semantics
  * RDF-Based Semantics
  * Syntax (e.g. in section 4 on Datatype Maps)

I have added a screenshot (Direct Semantics) to show what gets rendered on
my machine.

Firefox and Opera are working well.

For comparison, to see that this isn't a problem with our documents only,
here is a list of HTML entities in the Web, where the same problem occurs:

  <http://www.htmlentities.com/html/entities/>

I don't know how to best cope with this problem. On the one hand, AFAIK
these entities are official HTML entities, and so we might simply ignore the
concrete problem with the Internet Explorer (and "hope" for IE8). On the
other hand, it is probably not so good if the browser with the largest user
base displays our documents wrong to some large degree. A simple (but
somewhat hacky) solution would be to use the entities "&gt;" and "&lt;" as
replacements.

Michael

--
Dipl.-Inform. Michael Schneider
FZI Forschungszentrum Informatik Karlsruhe
Abtl. Information Process Engineering (IPE)
Tel  : +49-721-9654-726
Fax  : +49-721-9654-727
Email: Michael.Schneider@fzi.de
Web  : http://www.fzi.de/ipe/eng/mitarbeiter.php?id=555

FZI Forschungszentrum Informatik an der Universität Karlsruhe
Haid-und-Neu-Str. 10-14, D-76131 Karlsruhe
Tel.: +49-721-9654-0, Fax: +49-721-9654-959
Stiftung des bürgerlichen Rechts
Az: 14-0563.1 Regierungspräsidium Karlsruhe
Vorstand: Rüdiger Dillmann, Michael Flor, Jivka Ovtcharova, Rudi Studer
Vorsitzender des Kuratoriums: Ministerialdirigent Günther Leßnerkraus