Syntax definition cen

Description: Extend class definition to include the equinumerosity relation ("approximately equals" symbol)

	Ref	Expression
Assertion	cen	$$class\approx$$