Who Cites or?
or	Def P Q == P+Q

Syntax:

P Q

has structure:

or(P; Q)

About: