Syntax definition wa

Description: Extend wff definition to include conjunction ("and").

	Ref	Expression
Assertion	wa	wff ( 𝜑 ∧ 𝜓 )