Syntax definition cinr

Description: Extend class notation to include right injection of a disjoint union.

	Ref	Expression
Assertion	cinr	$$classinr$$