Syntax definition wfr

Description: Extend wff notation to include the well-founded predicate. Read: " R is a well-founded relation on A ".

	Ref	Expression
Assertion	wfr	$$wffR\mathrm{Fr}A$$