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) ' S.
The LATEX mark-up of undecor is \undecor. The troff mark-up of undecor is undecor.