Syntax definition cin

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

	Ref	Expression
Assertion	cin	class ( A i^i B )