Syntax definition calgext

Description: Syntax for the algebraic field extension relation.

	Ref	Expression
Assertion	calgext	$$class{/}_{\mathrm{AlgExt}}$$