Syntax definition cui

Description: Ring unit.

	Ref	Expression
Assertion	cui	$$class\mathrm{Unit}$$