Syntax definition cackbij

Description: Extend class notation to include the Ackermann bijection.

	Ref	Expression
Assertion	cackbij	class ackBij