Syntax definition cperpg

Description: Declare the constant for the perpendicular relation.

	Ref	Expression
Assertion	cperpg	$$class{⟂}_{𝒢}$$