Syntax definition csb

Description: Extend class notation to include the proper substitution of a class for a set into another class.

	Ref	Expression
Assertion	csb	class ⦋ 𝐴 / 𝑥 ⦌ 𝐵