Sample

Sample HTML schema generated by zhtml

Here is a sample Z schema from M. Spivey's Z Reference Manual. (Depending on the fonts selected and available in your browser, some characters may be missing in the rendered page. Try for example the DejaVu fonts, which have a considerable supply of Unicode glyphs. The Windows font Cambria is a also a good choice.).

The generated HTML renders imperfectly here because some HTML style attribute values apparently get removed by the SourceForge Wiki implementation (eg the Schema name sits above the horizontal rule as a consequence of this).

AddBirthday
ΔBirthdayBook
name? : NAME
date? : DATE
name? ∉ known
birthday′ = birthday ∪ {name? ↦ date?}

This was generated by zhtml from the source text:

+-- AddBirthday ---
    Delta%BirthdayBook
    name? : NAME
    date? : DATE
|--
    name? /e known

    birthday' = birthday u {name? |--> date?}
---

And the output from zhtml -my sample.txt was then pasted into this Wiki.