Smarty Pants: More Unicode Characters

[Aaron Swartz]

> Maybe, especially for `>=` and `<=`.


I suspect that would often screw up source code snippets or something.
I guess it wouldn't be processed inside `<code>` tags but it still
seems problematic.