Removing non-ascii characters and fixing an issue with how double less than or double greater than symbols were being translated from latex to html.