Added \impliedby, addressing #153 in a way not covered by #168 or #170.
Added \thinspace. Resolves #164.