Syntax definition cmuls

Description: Set up the syntax for surreal multiplication.

	Ref	Expression
Assertion	cmuls	class ·s