Who Cites implies?
implies	Def P Q == PQ

Syntax:

P Q

has structure:

implies(P; Q)

About: