Syntax definition char

Description: Class symbol for the Hartogs/cardinal successor function.

	Ref	Expression
Assertion	char	class har