Decode latex special characters to unicode

I think this is a better solution for #3