Syntax definition w2reu

Description: Syntax for double restricted existential uniqueness quantification.

	Ref	Expression
Assertion	w2reu	$$wff\exists !x\in A,y\in B\phi$$