Syntax definition w3nand

Description: The double nand.

	Ref	Expression
Assertion	w3nand	$$wff\left(\phi ⊼\psi ⊼\chi \right)$$