Syntax definition wsmext

Description: Extend wff notation to include a predicate for standard models of the Axiom of Extensionality.

	Ref	Expression
Assertion	wsmext	Could not format assertion : No typesetting found for wff M |=. Ax-Ext with typecode wff