Add the implies symbol
Merge pull request #37 from NightRa/master

Add the implies symbol