Proposed extensions in HTML for Z

This document includes information on the display of the Z notation in World Wide Web pages and hyperlinks to related resources.

Note: The Z characters below will not display correctly on standard HTML browsers like Netscape although a number of ISO symbols are supported.

Mathematical extensions to HTML

This section summarizes early work undertaken by Phillip M. Hallam-Baker at CERN on mathematical extensions to HTML including support for Z by WWW browsers.

Special Characters

The following characters are required to typeset Z but are not present in the HTML entity sets. Characters not present in the SGML ISO entity sets are marked *.

Blackboard bold characters. &bbF;* &bbN;* &bbP;* &bbZ;*
Maplet ↦
Functions ↣ ↠ ⤖
Partial Functions ↛ &nrarrtl; &nRarr;
Finite Functions &Nrarr; &Narrtl;
Harpoons ↿ ↾
Relational Image &Lpar; &Rpar;
Bag display &Lbrack; &Rbrack;
Sequence display ⟨ ⟩
Binding Formation ⟪ ⟫
Distributed Union and intersection ∪ ∩
Semantic and Syntactic turnstiles ⊧ ⊢
Domain and Codomain Restriction and and anti restriction ◃ ▹ &triangleleftbar; &trianglerightbar;

Free Types

[Name, Date]

Schemas

-------------------------
|AddBirthday
|Delta BirthdayBook
|name? : Name
|date? : Date
|---
|name? ∉ known
|birthday' = birthday ∪ {name ↦ date}
-------------------------

Generic Schemas

===[X,Y]=================
| _ ⊕ _ : (X ↛ Y) × (X ↛ Y) → (X ↛ Y)
|---
|∀ f, g: X ↛ Y •
|   f ⊕ g = ((dom g) &trianglerightbar; f) ∩ g
-------------------------

Axiomatic Descriptions

|Declaration
|--------
|Predicate

(La)TeX links

Z notation examples (also here) produced by the Z2HTML translator (also here).
LaTeX2HTML can be used to convert LaTeX documents, including those containing Z, to HTML format, but Z fonts can cause difficulties. Z schemas, etc., are converted to GIF image files. See further links including sources.
Hyperlatex also converts LaTeX documents, including simple support for mathematical formulas.
TtH, a TeX to HTML translator. Translates equations rather than converting them to images. (Free for non-commercial applications.)
TeX2HTML converts TeX to HTML without converting typeset mathematics to GIF images. (Commercial on-line, by email and downloadable executable program.)
HTML2LaTeX converts HTML including WebEQ applets into a LaTeX2e source file. See documentation and downloading information.

Of related interest: HyperTeX, a defacto standard for inclusion of hyperlink information in TeX (and LaTeX) documents.