It looks like this:
What does it mean?
It means that if you have both a biconditional and one of its two sides, then you are entitled to claim the other of the two sides.
