Syntax definition cqus

Description: Quotient structure function.

	Ref	Expression
Assertion	cqus	$$class{/}_{𝑠}$$