Syntax definition cackbij

Description: Extend class notation to include the Ackermann bijection.

	Ref	Expression
Assertion	cackbij	Could not format assertion : No typesetting found for class ackBij with typecode class