//	VEDIT syntax highlighting definition for REN-FILE.VDM
Reserved2 = "->|*"