Add the implies symbol

Add the implies symbol