Syntax definition ctsk

Description: Extend class definition to include the class of all Tarski classes.

	Ref	Expression
Assertion	ctsk	$$class\mathrm{Tarski}$$