Quoting Alexander Krauss <krauss at in.tum.de>:
Do I understand correctly that you do see the symbols correctly...?
And beautifully. But it only works for Apple Symbols, neither IsabelleText nor the Stix fonts (although the latter work perfectly well in all other applications). I have not explanation why this is so.