Syntax definition cale

Description: Extend class definition to include the aleph function.

	Ref	Expression
Assertion	cale	class ℵ