special HTML characters [was: Re: [RDF+OWL] conformance]

>>> o The ∈ doesn't display for me in Firefox (used in a couple places
>>> when describing the profile).
>>
>> This is odd. We use the symbol in a number of places throughout our
>> documents and it is a standard HTML entity. I also have no problems
>> seeing them with my Firefox.
>>
>> If there is one near the start of the 5th paragraph. Does your browser
>> not render it?
> 
> No, nor any other occurances in the document. This is a vanilla Firefox
> 3.0.10 running under Windows Vista.

I also have Firefox 3.0.10, running under Windows XP, but no problems. I
also have no problems with my Opera.
However, Internet Explorer does refuse to render the ∈. Same thing
in BLD:
http://www.w3.org/2005/rules/wiki/BLD#Semantic_Structures

Also the OWL semantics recommendation:
http://www.w3.org/TR/owl-semantics/direct.html


Since we are using proper HTML entities I think we can just say it is a
problem of the clients that do not render the page properly.


Jos


> 
> Dave
> 
> 
> 

-- 
+43 1 58801 18470        debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
Many would be cowards if they had courage
enough.
  - Thomas Fuller