Defining implication in usual way

Also alternated formatting a little bit and defined environments \term
and \thm.