Syntax definition cfinfld

Description: Extend class notation to include the function defining finite fields.

	Ref	Expression
Assertion	cfinfld	class 𝔽