Syntax definition cin

Description: Extend class notation to include the intersection of two classes (read: " A intersect B ").

	Ref	Expression
Assertion	cin	class ( 𝐴 ∩ 𝐵 )