Merge pull request #36 from NightRa/master

Add the basic number sets to AMSFonts.
Add the implies symbol