Syntax definition cin

Description: Syntax for the intersection of two classes.

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