Syntax definition csuccf

Description: Declare the syntax for the successor function.

	Ref	Expression
Assertion	csuccf	$$class\mathrm{𝖲𝗎𝖼𝖼}$$