Syntax definition cretr

Description: Extend class notation with the retract relation.

	Ref	Expression
Assertion	cretr	$$class\mathrm{Retr}$$