Daniel-Diaz/HaTeX — pull request #37 by NightRa (2014-11-03 20:03:38+00:00)
Title: Add the implies symbol

Add the implies symbol