Added \impliedby and \thinspace

Adds `\thinspace`, which is simply an alias of `\,`, and the `\impliedby` arrow.