Syntax definition cplig

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

	Ref	Expression
Assertion	cplig	$$class\mathrm{Plig}$$