Syntax definition ccolin

Description: Declare the syntax for the colinearity predicate.

	Ref	Expression
Assertion	ccolin	$$class\mathrm{Colinear}$$