Syntax definition cfth

Description: Extend class notation with the class of all faithful functors.

	Ref	Expression
Assertion	cfth	$$class\mathrm{Faith}$$