Syntax definition cplig

Description: Extend class notation with the class of all planar incidence geometries.

	Ref	Expression
Assertion	cplig	class Plig