Syntax definition cpropneg

Description: The negation of a sentence of propositional calculus.

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