The statement on the left side of the symbol implies the statement on the right side. Can also be read as If, Then, i.e., if "statement on left side", then "statement on right side".