Change a unicode character to ascii so LaTeX plays nicely.