Who Cites not?
not	Def A == A False
	Thm* A:Prop. (A) Prop

Syntax:

A

has structure:

not(A)

About: