Syntax definition cpropimp

Description: The implication between two sentences of propositional calculus.

	Ref	Expression
Assertion	cpropimp	Could not format assertion : No typesetting found for class prop-> with typecode class