Syntax definition cpws

Description: The function constructing structure powers.

	Ref	Expression
Assertion	cpws	$$class{\uparrow }_{𝑠}$$