Data.Logic.Classes.Negate

class Negatable formula

negated

(.~.)

(¬)

negative

positive