Syntax definition crestrict

Description: Declare the syntax for the restriction function.

	Ref	Expression
Assertion	crestrict	$$class\mathrm{𝖱𝖾𝗌𝗍𝗋𝗂𝖼𝗍}$$