Syntax definition wmoo

Description: Syntax for BJ's version of the uniqueness quantifier.

	Ref	Expression
Assertion	wmoo	wff ∃** 𝑥 𝜑