Syntax definition ccuts

Description: Declare the syntax for the surreal cut operator.

	Ref	Expression
Assertion	ccuts	$$class{|}_s$$