Syntax definition cfrgr

Description: Extend class notation with friendship graphs.

	Ref	Expression
Assertion	cfrgr	$$class\mathrm{FriendGraph}$$