Syntax definition wvd3

Description: Syntax for a 3-hypothesis virtual deduction. (New usage is discouraged.)

	Ref	Expression
Assertion	wvd3	$$wff\left(\phi ,\psi ,\chi \to \theta \right)$$