wnnu - Linear Logic Proof Explorer

	Linear Logic Proof Explorer	< Previous Next > Nearby theorems
Mirrors > Home > LLPE Home > Th. List > wnnu		Structured version

Syntax Definition wnnu 242

Description: Dual creation operator.

**Hypotheses**
Ref	Expression
wph	wff 𝜑
vx	var x

**Assertion**
Ref	Expression
wnnu	wff ∇x𝜑

See definition df-nnu 245 for more information.

Colors of variables: wff var nilad