Syntax definition csingles

Description: Declare the syntax for the class of all singletons.

	Ref	Expression
Assertion	csingles	$$class\mathrm{𝖲𝗂𝗇𝗀𝗅𝖾𝗍𝗈𝗇𝗌}$$