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