Syntax definition cwdom

Description: Class symbol for the weak dominance relation.

	Ref	Expression
Assertion	cwdom	$$class{\preccurlyeq }^{*}$$