With reference to Logical Connectives:

A statement that combines propositions:
If then , →.

Biconditional