Syntax definition bj-cgab

Description: Syntax for generalized class abstractions.

	Ref	Expression
Assertion	bj-cgab	class { 𝐴 ∣ 𝑥 ∣ 𝜑 }