Syntax definition cin

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

	Ref	Expression
Assertion	cin	$$class\left(A\cap B\right)$$