:!: | Data.Logic.ATP.Quantified, Data.Logic.ATP |
:&: | Data.Logic.ATP.Prop, Data.Logic.ATP |
:<=>: | Data.Logic.ATP.Prop, Data.Logic.ATP |
:=>: | Data.Logic.ATP.Prop, Data.Logic.ATP |
:?: | Data.Logic.ATP.Quantified, Data.Logic.ATP |
:|: | Data.Logic.ATP.Prop, Data.Logic.ATP |