Syntax definition bj-cgab

Description: Syntax for generalized class abstractions.

	Ref	Expression
Assertion	bj-cgab	$$class{{A\left|x\right|\phi }}$$