Syntax definition wrnf

Description: Syntax for restricted nonfreeness.

	Ref	Expression
Assertion	wrnf	wff Ⅎ 𝑥 ∈ 𝐴 𝜑