conditional-wff

A conditional wff is a formula whose main operator is $\to$.

For example, $A\to B$