ℙ → ℙ

Parameter Not : Prop -> Prop

axiom Not : Prop -> Prop

constant Not : (Prop) -> Prop

sttfa_Not : [bool -> bool]

Printing for OpenTheory is not working at the moment.