Syntax definition cnorec

Description: Declare the syntax for surreal recursion of one variable.

	Ref	Expression
Assertion	cnorec	class norec ( 𝐹 )