Syntax definition cfwddifn

Description: Declare the syntax for the nth forward difference operator.

	Ref	Expression
Assertion	cfwddifn	$$class{△}^n$$