˄
We can also write it as . In words, we connect and with "if and only if". A biconditional can be only true if both the conditional and converse is true. Here is a truth table of a biconditional.
˄ | |||||
T | T | T | T | T | T |
T | F | F | T | F | F |
F | T | T | F | F | F |
F | F | T | T | T | T |