Syntax definition cmuls

Description: Set up the syntax for surreal multiplication.

	Ref	Expression
Assertion	cmuls	$$class{\cdot }_s$$