Details of the publication of the document with Z notation

As per my action item, I am sending a summary of the discussions I had
about the publication of our draft with Z notation.

First, I was advised to use separate documents for the complete (with
Z) and light (without Z) versions rather than using JavaScript. So
we'll just have to use a div with the right class in our HTML, and
then run an XSLT stylesheet to prune the Z stuff out of it (thus
keeping the same section numbers in both versions).

Second, with regards to the Z mathematical symbols representation,
using the symbol font trick goes against the characher model for the
Web[1] and is therefore unacceptable. Moreover, the HTML 4.0
Recommendation has defined character entity references for the Symbol
font[2].

If some symbols don't show for some people, I have been given a list
of fonts that support a wide range of Unicode symbols:
- Arial Unicode MS (comes with MS Office 2000 and later)
- Code2000 (free at <http://home.att.net/~jameskass/>)
- Lucide Sans Unicode (comes with MS Windows)
- Lucide Grande on MacOSX (to be confirmed)

It is perfectly acceptable to have in the introduction of our document
a note saying that in order to see the document correctly, one needs a
decent font with a link to a page where we would give pointers such as
the list above.

So basically, two versions should suffice: one with Z encoded properly
in UTF-8 (or using character entity references, or numeric character
references), and one without the Z notation.

Cheers,

Hugo

  1. http://www.w3.org/TR/charmod/
  2. http://www.w3.org/TR/1999/REC-html401-19991224/sgml/entities.html#sym
-- 
Hugo Haas - W3C
mailto:hugo@w3.org - http://www.w3.org/People/Hugo/