The following notation is recognised by cadiz in addition to the notation of draft Standard Z. Run cadiz with the -ws option for warning messages about the first use of each of these non-standard notations.
The tactic language and the refinement editor both impinge on the Z syntax, though they are not extensions to Z per se; their effect on Z is to make several names be reserved words - see Deviations from ISO Standard Z.