Syntax definition cgex

Description: Extend class notation to include the order function on the elements of a group.

	Ref	Expression
Assertion	cgex	$$class\mathrm{gEx}$$