CADiZ

Reference manual / Non-standard extensions to Z / Undecoration expressions


cadiz provides a notation for determining which components of a schema have a particular last stroke.

Expression = undecor , STROKE , Expression;

The last stroke is removed by the undecor operator, so for any schema S, (undecor ' (S ')) = S. Components that do not have the specified stroke are hidden, so for any schema S with at least one such other component, (undecor ' S) ' \neq S.

The LATEX mark-up of undecor is \undecor. The troff mark-up of undecor is undecor.


IT 4-Jan-2002