The Implication Operator
You can ignore the word operator. In this case, it's just another term for "sign".
The symbol you're going to learn now is this:
Let's say that if i like chocolate, i will like cocoa.
This means that the fact that i like chocolate implies that i also like cocoa.
Easy, right?
Let's go on to the next case, when we can assume that both directions lead to each-other: The Equivalence Operator