Fix unicode wolfram things

it looks silly but that's how it has to be done.