Syntax definition cfldext

Description: Syntax for the field extension relation.

	Ref	Expression
Assertion	cfldext	$$class{/}_{\mathrm{FldExt}}$$