The applet can easily be inserted into HTML documents to display
Z Specifications. The Z standard is used to represent symbol names. Specifications are defined
using a simple language.
Each line starts with a '\' character to denote a new line. Sections are then defined using &Start[name of section]
and ended using &EndSec. Text can then simply be written and symbols inserted using &[symbol name].
The command &Line is used to draw the dividing line in schema boxes.
Finally the colour of the display can be changed using &[colour].
The font size and background colour may also be altered using parameters
in the HTML document.
The following demonstrates its use.
APPLET CODE="ZDisplay2.class" width=2000 HEIGHT=450 PARAM NAME = "Input" VALUE = "Param" PARAM NAME = "Back" VALUE = "white" PARAM NAME = "FontSize" VALUE = "21" PARAM NAME = "Spec" VALUE = " \&StartSchema SCHEMA \This is a schema \&Line \THESE ARE SYMBOLS &pset &empty &int &cart \&sube &sub &horiz &pset1 &cup &cap &le &sdiff &ge &lambda \&mu &Bigcup &Bigcap \&nat1 &openbind &closbind \&nat &rel &bind &map &iter &lang &rang \&compfn &fset &lbag &rbag &dres \&fset1 &num &isin &dsub &fpfun \&isnot &rsub &fpinj &and &relinv \&concat &or &limg &rimg &extract \&rArr &oplus &distconc &iff &trans \&multi &forall &reflex &bagsc &exist \&pfun &bagmem &exist1 &rarr &sbrel \&sh &pinj &bagun &proj &rarrtl \&bagd &scomp &psur &Delta &Rarr \&Xi &ne &bij &isnotin \&EndSec
Features to be added